~/talk

Compiling the Linux Kernel with gccrs

links:none on file
slides:none on file

Project aims to compile the Linux kernel with a GCC-based Rust compiler but cannot yet produce a safe, runnable kernel image; work focuses on name-resolution rewrite that takes three years and now drives complete macro expansion, and on compiling core almost complete and alloc/drop infrastructure (GSOC contributions add drop handling but nonlinear drops and temporaries still break). Some kernel crates (FFI, builder) compile using a temporary v dump metadata; runtime equivalence with rustc remains unfinished.

AI-written summary · about

  1. 0:00Introduction and context
  2. 3:17What compiling the kernel means
  3. 8:23Challenges of compiling core
  4. 15:56Strategy to compile the kernel
  5. 18:28Name resolution rewrite
  6. 21:24Progress on compiling core
  7. 26:24Next steps for GCCRS
  8. 30:58Compatibility with RustC
  9. 33:10Acknowledgments and Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.