Miguel Ojeda
Rust for Linux: Overview and Status
Rust is a systems programming language with desirable properties in the context of the Linux kernel, such as no undefined behavior in its safe subset (when unsafe code is sound), including memory safety and the absence of data races.
Rust for Linux is a project that aims to bring Rust support to the Linux kernel as a first-class language. This means providing support for writing kernel modules in Rust, such as drivers or filesystems, with as little unsafe code as possible (potentially none). That is, it prevents misusing kernel APIs with respect to memory-safety.
This session will give an overview of the project and its current status:
Rust for Linux is a project that aims to bring Rust support to the Linux kernel as a first-class language. This means providing support for writing kernel modules in Rust, such as drivers or filesystems, with as little unsafe code as possible (potentially none). That is, it prevents misusing kernel APIs with respect to memory-safety.
This session will give an overview of the project and its current status:
- Why Rust? A quick introduction of the language within the context of the kernel.
- How Rust support works in the kernel.
- What features are currently supported.
- Planned features and future.
back to overview
Watch Recording
Biography
Miguel is a software engineer that maintains the Rust for Linux effort, as well as the auxdisplay, compiler attributes, and clang-format trees. He also participates in the ISO C committee, with an interest in UB and memory-safety topics.Previously, Miguel was a Staff Member at CERN in the Beams department and a Fellow in the Physics department.
