seL4 and BEAM: Running Erlang Without an OS

Explore the integration of seL4 microkernel and BEAM virtual machine in this conference talk from Code BEAM America 2022. Dive into the potential of running Erlang and Elixir applications without a traditional operating system, focusing on enhanced security and robustness for embedded systems. Learn about the tradeoffs, challenges, and benefits of implementing BEAM in a freestanding environment for ARMv7 application processors. Gain insights into connected industrial devices, achieving security and resilience, seL4's microkernel architecture and formal verification, and practical examples of BEAM and seL4 integration. Understand the implications for embedded systems software development and the removal of abstraction layers between high-level software and physical machines.