AFAIK, todos os drivers são carregáveis, exceto os drivers de plataforma que são estaticamente compilados com o kernel. Módulos de núcleo do kernel não são carregáveis. então, o Scheduler não pode carregar dinamicamente.
Então, há uma lista dos módulos que podem ser carregados? O módulo de agendamento é carregado?
meu inglês é pobre, talvez você saiba o que eu digo.
Tags linux-kernel