(все драйверы реализованы и ,даже, немного работают).
Необходимо доработать начальный загрузчик- чтобы варианты загрузки ОС были как в современном bios: netboot, ide, ide_cdrom, usb_ide, usb_cdrom ...
Раскурочить исходники linux - не проблема.
Но, если встречались готовые проекты для mk, (т.к. нужнен сильно упрощенный обмен в pio режиме) - можно немного сэкономить времени.