[snvzz]

The microkernel-based systems (LionsOS, Genode and so on) already have sane interfaces.

What is needed in that regard is just to port more drivers over.