johalun / rustkpiLinks
Sources to the Master's thesis: Safe Kernel Programming with Rust
☆56Updated 7 years ago
Alternatives and similar repositories for rustkpi
Users that are interested in rustkpi are comparing it to the libraries listed below
Sorting:
- Rust bindings for the FreeBSD capsicum framework☆64Updated 4 months ago
- FreeBSD kernel module in Rust☆66Updated 8 years ago
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆132Updated last year
- Definitions for the CloudABI data types and system calls☆135Updated 5 years ago
- ☆60Updated 5 months ago
- The low-level linux containers creation library for rust☆133Updated 2 years ago
- Rust implementation of a FreeBSD jail library☆58Updated last month
- Bindings to libzfs from rust☆27Updated 2 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- VMM userspace for illumos bhyve☆207Updated last week
- Minimal MacOS Kernel Extension in Rust☆59Updated 7 years ago
- A simplified Rust interface to the sysctl system call☆52Updated last month
- probe: Static probes for Rust☆100Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- A Rust library for using Linux devicemapper☆76Updated last week
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆51Updated 2 years ago
- Proc macro attributes for Bastion runtime.☆51Updated 3 years ago
- Stable interface for programmatic administration of ZFS from Rust☆73Updated 8 months ago
- Tokio-based IMAP implementation☆132Updated last month
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆63Updated last week
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- Rust bindings to the RPM Package Manager libraries (librpm, librpmbuild, librpmsign)☆35Updated 2 months ago
- A pure-Rust library to work with Linux capabilities☆91Updated 3 weeks ago
- Rust implementation of the Varlink protocol☆105Updated last week
- netlink library for rust☆43Updated 3 years ago
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- A library that provides a way to logically own objects, whether or not heap allocation is available☆71Updated last year
- ☆26Updated 3 years ago
- Send syslog messages from Rust☆119Updated last year
- Rust implementation of The Update Framework (TUF)☆181Updated 3 weeks ago