3 ms·seL4 is an operating system that uses capabilitiesby mcdonje 5mo agoseL4 is an operating system that uses capabilities