2 ms·Linux Foundation backs security-oriented seL4 microkernel operating system7 points by CrankyBear 7y ago