[flangola7]

What about kernels like seL4? I think everyone will abandon monolithic kernels one day because they have too much attack surface.

[yjftsjthsd-h]

Is anyone running normal workloads (node/java/php/python/whatever) on seL4 without sticking Linux in the middle?