Thema: Mikrokernel und Treiber

[sp]

Hallo

wie kommt der Mikrokernel eigentlich an die Treiber für das Boot-Laufwerk und das Dateisystem? Werden die normalerweise durch den Bootloader mit geladen? Der kann ja im (Flat-) RM noch die BIOS-Treiber nutzen...

sp

[joachim_neu]

der treiber für das FDC muss entweder in den kernel eingebaut sein, oder der bootloader läd das modul schon für den kernel. oder der kernel schaltet in den RM zurück um das richtige modul zu laden.