Linking pages
- Writing FreeBSD Kernel Modules in Rust – NCC Group Research https://research.nccgroup.com/2022/08/31/writing-freebsd-kernel-modules-in-rust/ 25 comments
- Memory-safe programming in the Linux Kernel (No not Rust) â eBPF. | CoScreen Engineering Blog https://www.coscreen.co/engineering/posts/memory-safe-programming-kernel/ 15 comments
- ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling https://www.micahlerner.com/2021/12/28/ghost-fast-and-flexible-user-space-delegation-of-linux-scheduling.html 7 comments
- Building an out-of-tree Rust Kernel Module https://blog.rnstlr.ch/building-an-out-of-tree-rust-kernel-module.html 5 comments
- Using KLEE on Rust-for-Linux (part 1) | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/2021/08/22/rust-on-linux-1.html 1 comment
- GitHub - BUPT-OS/RROS: RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C). https://github.com/BUPT-OS/RROS 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - Rust-for-Linux/linux: Adding support for the Rust language to the Linux kernel.
See how to search.