3 ms·
> Why has no one put microkernels and Erlang into a blender? Peer Stritzinger (https://stritzinger.com/ https://stritzinger.com/) the guy behind the GRiSP proj
by rramadass 1y ago
> Why has no one put microkernels and Erlang into a blender?
Peer Stritzinger (https://stritzinger.com/ https://stritzinger.com/) the guy behind the GRiSP project (https://www.grisp.org/ https://www.grisp.org/) has integrated Erlang + RTEMS (https://www.rtems.org/ https://www.rtems.org/) for the embedded GRiSP Nano HW (https://www.grisp.org/hardware#grisp-nano-details-section https://www.grisp.org/hardware#grisp-nano-details-section and https://www.grisp.org/blog/posts/2025-06-11-grisp-nano-codebeam-sto https://www.grisp.org/blog/posts/2025-06-11-grisp-nano-codeb...)
His HN account with some technical comments - https://news.ycombinator.com/threads?id=peerst https://news.ycombinator.com/threads?id=peerst
- rramadass 1y agoAddendum 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