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 last month
- FreeBSD kernel module in Rust☆67Updated 8 years ago
- Definitions for the CloudABI data types and system calls☆135Updated 5 years ago
- The low-level linux containers creation library for rust☆133Updated 2 years ago
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆132Updated last year
- ☆61Updated 7 months ago
- A Rust library for using Linux devicemapper☆76Updated 3 weeks ago
- Rust implementation of a FreeBSD jail library☆59Updated 3 months ago
- Minimal MacOS Kernel Extension in Rust☆59Updated 7 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆119Updated 2 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆36Updated 7 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- VMM userspace for illumos bhyve☆214Updated this week
- probe: Static probes for Rust☆102Updated 2 months ago
- Proc macro attributes for Bastion runtime.☆51Updated 4 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☆22Updated 4 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Stable interface for programmatic administration of ZFS from Rust☆75Updated 10 months ago
- secure edge access overlay network for IoT devices☆85Updated 3 years ago
- A format-preserving TOML file parser and manipulator in Rust using nom☆85Updated 4 years ago
- Dust your Rust with USDT probes☆130Updated last week
- A pure-Rust library to work with Linux capabilities☆91Updated 2 months ago
- Rust-based Unikernel☆133Updated last year
- A library that provides a way to logically own objects, whether or not heap allocation is available☆71Updated last year
- Mirror of https://gitlab.redox-os.org/redox-os/redox-ssh☆31Updated last year
- A simplified Rust interface to the sysctl system call☆52Updated 3 months ago
- Bindings to libzfs from rust☆27Updated 2 years ago
- (Rust) A modern DHCP server for IPv4 and IPv6☆20Updated 9 years ago
- Send syslog messages from Rust☆121Updated last year