マイクロカーネルで作るんでしょ？
ハードウェアもioサービス等を通して高級言語からいじるべき。