2 ms·
Is sel4 an OS kernel created by Jane Street?
by mtdewcmu 4mo ago
Is sel4 an OS kernel created by Jane Street?
- rramadass 4mo agohttps://sel4.systems/About/history.html https://sel4.systems/About/history.html Also interesting is "Kry10" which builds on sel4 to enable Erlang BEAM based apps for critical embedded devices - https://www.kry10.com/ https://www.kry10.com/ Technical Overview paper - https://www.kry10.com/get-started https://www.kry10.com/get-started