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 2 weeks ago
- FreeBSD kernel module in Rust☆67Updated 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
- Rust implementation of a FreeBSD jail library☆59Updated 2 months ago
- Bindings to libzfs from rust☆27Updated 2 years ago
- The low-level linux containers creation library for rust☆133Updated 2 years ago
- ☆61Updated 6 months ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- probe: Static probes for Rust☆102Updated last month
- VMM userspace for illumos bhyve☆211Updated this week
- A Rust library for using Linux devicemapper☆76Updated last week
- 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
- [discontinued] Experimental OCI & CRI-compatible container runtimes for FreeBSD☆22Updated 4 years ago
- Stable interface for programmatic administration of ZFS from Rust☆74Updated 9 months ago
- Dust your Rust with USDT probes☆129Updated last week
- A simplified Rust interface to the sysctl system call☆52Updated 3 months ago
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆51Updated 2 years ago
- secure edge access overlay network for IoT devices☆85Updated 3 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Send syslog messages from Rust☆121Updated last year
- A pure-Rust library to work with Linux capabilities☆91Updated 2 months ago
- Rust wrapper around epoll and kqueue☆46Updated 2 years ago
- Rust crate providing Linux (>= 5.3) PID file descriptor support☆27Updated 2 years ago
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆131Updated 4 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆213Updated 2 years ago
- Pico Host Boot Loader☆115Updated 3 months ago
- Rust-based Unikernel☆132Updated last year