4 ms·
For the state of the art, look at seL4[0], LionsOS[1] and Genode[2]. 0. https://sel4.systems/ https://sel4.systems/ 1. https://www.lionsos.org/ https://www.li
by snvzz 6mo ago
For the state of the art, look at seL4[0], LionsOS[1] and Genode[2].
0. https://sel4.systems/ https://sel4.systems/
1. https://www.lionsos.org/ https://www.lionsos.org/
2. https://genode.org/ https://genode.org/
- hulitu 6mo ago> 0. "When running on real hardware console output will be over serial." > 1. Seems to be a variant of "0" running on "Odroid-C4." > 2. https://genode.org/ https://genode.org/ This one looks more polished.
- ComputerFido 6mo agoThat's because lions os is more focused on POS machines and other embedded platforms for now, its not a general purpose OS (yet) and that doesn't mean there isn't much to be learned from its design