[preommr]

> Linux on the other hand just doesn't have an alternative equal in features.

The absolute disrespect towards microkernels. Shameful.

[viraptor]

Is there any microkernel distribution right now which supports cuda? Or hardware-offloaded network drivers?

[rauli_]

Or BSDs.