johalun / rustkpiLinks
Sources to the Master's thesis: Safe Kernel Programming with Rust
☆55Updated 7 years ago
Alternatives and similar repositories for rustkpi
Users that are interested in rustkpi are comparing it to the libraries listed below
Sorting:
- FreeBSD kernel module in Rust☆66Updated 8 years ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated 2 months ago
- The low-level linux containers creation library for rust☆131Updated 2 years ago
- Definitions for the CloudABI data types and system calls☆134Updated 4 years ago
- A Rust library for using Linux devicemapper☆73Updated 2 weeks ago
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆129Updated last year
- ☆60Updated 2 months ago
- Rust implementation of a FreeBSD jail library☆58Updated 2 weeks ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- probe: Static probes for Rust☆98Updated 2 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- Pico Host Boot Loader☆111Updated last week
- netlink library for rust☆43Updated 3 years ago
- Bindings to libzfs from rust☆27Updated 2 years ago
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆51Updated 2 years ago
- [discontinued] Experimental OCI & CRI-compatible container runtimes for FreeBSD☆23Updated 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Dust your Rust with USDT probes☆116Updated this week
- VMM userspace for illumos bhyve☆204Updated last week
- secure edge access overlay network for IoT devices☆85Updated 3 years ago
- Minimal MacOS Kernel Extension in Rust☆59Updated 6 years ago
- Native Rust library for managing control groups under Linux☆77Updated 3 years ago
- Stable interface for programmatic administration of ZFS from Rust☆71Updated 6 months ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- A pure-Rust library to work with Linux capabilities☆89Updated last month
- A simplified Rust interface to the sysctl system call☆52Updated 11 months ago
- A kernel module written in Rust☆135Updated 6 years ago
- A caching server for crates + cargo☆124Updated 5 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆204Updated 2 years ago
- ☆26Updated 3 years ago