2 ms·You mean like, say, seL4? Pretty sure that kernel is seeing some very real "applicability".by dtornabene 9y agoYou mean like, say, seL4? Pretty sure that kernel is seeing some very real "applicability".