If I have a microkernel, what would me stop from
writing a driver which directly interfaces, for
example, with the network hardware driver and the
harddisk controller driver?
The rest like sound could be handled in the normal
way the microkernel operates.
The Legend