3 ms·Yes, the seL4 project that is being discussed.by y7 5y agoYes, the seL4 project that is being discussed.SkyMarshal 5y agoOh, duh, thx. I hear linux and automatically think monolithic kernel.