4 ms·The marketing makes it sound a bit like SeL4. https://sel4.systems/ https://sel4.systems/by seesomesense 10y agoThe marketing makes it sound a bit like SeL4. https://sel4.systems/ https://sel4.systems/