> The only real benefit would be to put drivers in their isolated processes.... but for most part we already do that (via libusb n shit). For pci things, you still need to trust your hw iommus aren't broken.
What? No we don't. Also no, the real benefit would be having a good IPC mechanism, which Linux lacks.
Practically they are *way* better too, see how RedoxOS does it.