undefined | Better HN

0 pointsrramadass4mo ago0 comments

> Why has no one put microkernels and Erlang into a blender?

0 comments

Addendum to above:

I just remembered Kry10 OS which runs Erlang/Elixir on seL4 microkernel - https://www.kry10.com/ Checkout the technical overview paper at https://www.kry10.com/get-started

The Kry10 Operating System: Security and the BEAM - https://www.youtube.com/watch?v=0ncI0I5uxJ4

j / k navigate · click thread line to collapse

0 pointsrramadass4mo ago0 comments

> Why has no one put microkernels and Erlang into a blender?

Addendum to above:

I just remembered Kry10 OS which runs Erlang/Elixir on seL4 microkernel - https://www.kry10.com/ Checkout the technical overview paper at https://www.kry10.com/get-started

The Kry10 Operating System: Security and the BEAM - https://www.youtube.com/watch?v=0ncI0I5uxJ4

j / k navigate · click thread line to collapse