Addendum to above: I just remembered Kry10 OS which runs Erlang/Elixir on seL4 microkernel - https://www.kry10.com/ https://www.kry10.com/ Checkout the technic

Addendum to above: I just remembered Kry10 OS which runs Erlang/Elixir on seL4 microkernel - https://www.kry10.com/ https://www.kry10.com/ Checkout the technical overview paper at https://www.kry10.com/get-started https://www.kry10.com/get-started Some excellent videos linked to from https://elixirforum.com/t/kry10-a-robust-and-secure-os-for-the-iot-based-on-sel4-and-the-elixir-stack/54003 https://elixirforum.com/t/kry10-a-robust-and-secure-os-for-t... Kry10 Secure Platform - https://www.youtube.com/watch?v=YG5BaoB24eA https://www.youtube.com/watch?v=YG5BaoB24eA The Kry10 Operating System: Security and the BEAM - https://www.youtube.com/watch?v=0ncI0I5uxJ4 https://www.youtube.com/watch?v=0ncI0I5uxJ4 seL4 and BEAM, a match made in Erlang - https://www.youtube.com/watch?v=owmvgUwBlJ0 https://www.youtube.com/watch?v=owmvgUwBlJ0