3 ms·SeL4 would be a better choice, if you count it as an OS.by MaxBarraclough 3y agoSeL4 would be a better choice, if you count it as an OS.