Loading…
September 13-16, 2022
Dublin, Ireland + Virtual
View More Details & Registration
Note: The schedule is subject to change.

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit Europe 2022 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Irish Standard Time (UTC +1). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date."

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Back To Schedule
Thursday, September 15 • 15:00 - 15:40
Address Space Isolation for Enhanced Safety of the Linux Kernel - Igor Stoppa, NVIDIA

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Linux is entering fields dominated by specialised embedded OS, like Safety applications. However, Linux was not designed to pass the safety qualification process, where claims about system safety need the backing of both argumentation and objective evidence. In a system with components having different levels of Safety, the less-safe components cannot generate undetected interference in safer ones. The kernel-space memory management is not helping, though. For example, a buggy device driver can interfere with any other non-write protected component, including scheduling metadata, execution stacks, etc. The proposal identifies a strategy for functional partitioning of the system, identification of critical elements, and various mechanisms to increase their safety. It will describe changes to the Linux kernel, both for memory management, creating an opt-in level of address space isolation, and also other specific tweaks, for hardening critical aspects, like the kernel stack, against interference. The goal is to expand both the prevention and the detection of interferences that external monitoring alone would not detect easily. Participants will learn both a methodology for the safety analysis of a Linux system, and mechanism for improving the safety of selected components.

Speakers
avatar for Igor Stoppa

Igor Stoppa

Sr SW Safety Architect, NVIDIA
Igor received his Msc in Electronic Engineering from Politecnic University of Turin in 2001. Since then, he has worked primarily on Linux systems. Most notable examples include: power management for Nokia Internet Tablets; Test automation infrastructure, Distro Image creation and... Read More →



Thursday September 15, 2022 15:00 - 15:40 IST
Liffey Meeting Room 1 (Level 1)