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.

00:00 - - Intro
01:30 - - Connected Industrial Devices
04:42 - - Achieving Security and Resilience
09:07 - - seL4: Microkernel
11:27 - - seL4: Formal Verification
16:26 - - BEAM and seL4: Example
22:23 - - BEAM Communication
25:28 - - Summary and Future