Address Space Isolation for Enhanced Safety of the Linux Kernel

Explore enhanced safety mechanisms for the Linux kernel through address space isolation in this 43-minute conference talk. Learn about the challenges of adapting Linux for safety-critical applications and the need for robust isolation between components with different safety levels. Discover strategies for functional partitioning, identifying critical elements, and implementing mechanisms to increase system safety. Examine proposed changes to the Linux kernel's memory management, including an opt-in level of address space isolation and specific tweaks for hardening critical aspects like the kernel stack. Gain insights into both prevention and detection of interferences that external monitoring might miss. Acquire knowledge on safety analysis methodology for Linux systems and techniques for improving the safety of selected components, particularly useful for those working with Linux in safety-critical environments.

Address Space Isolation for Enhanced Safety of the Linux Kernel - Igor Stoppa, NVIDIA