TechPulseTechPulse
Back to News
Advertisement
Advertisement

Discussion (4 Comments)Read Original on HackerNews

Taikonerd•1 day ago
Dupe of https://news.ycombinator.com/item?id=48526633
gnabgib•1 day ago
Other way around. Just an SCP fail (promoting an already popular story)
mtdewcmu•1 day ago
Is sel4 an OS kernel created by Jane Street?
rramadass•1 day ago
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/

Technical Overview paper - https://www.kry10.com/get-started