Login

Kangrejos

13–15 Sept 2021
LPC Virtual
US/Mountain timezone

2021

Session

Kangrejos

13 Sept 2021, 09:00
Refereed Track/Virtual-Room (LPC Virtual)

Refereed Track/Virtual-Room

LPC Virtual

150

Conveners

Kangrejos: Kangrejos day 1

  • Miguel Ojeda
  • Jonathan Corbet (Linux Plumbers Conference)

Kangrejos: Kangrejos day 2

  • Miguel Ojeda
  • Jonathan Corbet (Linux Plumbers Conference)

Kangrejos: Kangrejos day 3

  • Miguel Ojeda
  • Jonathan Corbet (Linux Plumbers Conference)

Presentation materials

There are no materials yet.

  1. 1. Kickstart talk: Rust for Linux
    Miguel Ojeda
    13/09/2021, 09:00

    Opening session by Miguel Ojeda

    Go to contribution page
  2. 11. Discussion
    13/09/2021, 10:00
  3. 2. Invited talk: High velocity kernel modules in Rust with Bento
    Samantha Miller
    13/09/2021, 11:00

    High development velocity is critical for modern systems. Linux is facing increased development pressure from new hardware and new demands on the operating system, particularly from cloud providers. However, high velocity Linux kernel development is challenging due to the ease of introducing bugs, the difficulty of testing and debugging, and the lack of support for redeployment without service...

    Go to contribution page
  4. 3. Invited talk: How can we formally verify Rust for Linux?
    Alastair Reid
    13/09/2021, 11:45

    Using Rust in Linux aims to create more solid, secure code: avoiding memory safety issues and concurrency issues by taking advantage of Rust's language features and by designing a safe API for drivers to use. This talk examines how / whether we can go further using automatic formal verification tools.

    Can we go beyond the checks that Rust provides?
What additional checks would we...
    Go to contribution page
  5. 4. Kickstart talk: Rust key concepts for the Linux kernel (I)
    Miguel Ojeda
    14/09/2021, 09:00
  6. 5. Discussion
    14/09/2021, 10:00
  7. 6. Invited talk: The Thread wrapper for Rust in Linux kernel
    Boqun Feng
    14/09/2021, 11:00

    A kernel thread is one of the most important components in the kernel, and it's also a necessary piece to implement other core subsystems in the kernel. This topic will share a learning process on how to implement the wrapper for Rust std-like Thread in Linux kernel, the current status and the future work.

    Go to contribution page
  8. 7. Invited talk: Implementing the Iterator trait for seq_file
    Adam Bratschi-Kaye
    14/09/2021, 11:45

    The seq_file interface in the kernel allows easy creation of virtual files by implementing an interface that iterates over values which can be printed. It seemed like this should directly translate into the Rust trait of an Iterator where Item implements Display, but of course the devil is in the details. I'll show what I did to provide an interface to seq_file for Rust code.

    Go to contribution page
  9. 8. Kickstart talk: Rust key concepts for the Linux kernel (II)
    Wedson Almeida Filho
    15/09/2021, 09:00
  10. 9. Discussion
    15/09/2021, 10:00
  11. 10. Invited talk: Writing an embedded SPI-based Linux driver in Rust
    Arthur Cohen, Esteban Blanc, Martin Schmidt
    15/09/2021, 11:00

    While Linux is not primarily an embedded-focused operating system, it is still used on platforms such as the Raspberry Pi. In the case of these platforms, kernel modules provide a helpful way to interact with various devices at a kernel level, which often communicate using low-level protocols, such as SPI or I2C.

    Using Rust for that kind of workloads provides numerous advantages, and while...

    Go to contribution page
Building timetable...