tools for managing linux kernel modules
