johalun / rustkpiLinks
Sources to the Master's thesis: Safe Kernel Programming with Rust
☆55Updated 6 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☆63Updated last month
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆129Updated last year
- Rust implementation of a FreeBSD jail library☆58Updated 2 months ago
- The low-level linux containers creation library for rust☆129Updated 2 years ago
- Definitions for the CloudABI data types and system calls☆134Updated 4 years ago
- A Rust library for using Linux devicemapper☆73Updated last week
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆59Updated this week
- Stable interface for programmatic administration of ZFS from Rust☆70Updated 4 months ago
- A format-preserving TOML file parser and manipulator in Rust using nom☆83Updated 4 years ago
- probe: Static probes for Rust☆96Updated 2 years ago
- Bindings to libzfs from rust☆27Updated 2 years ago
- Minimal MacOS Kernel Extension in Rust☆59Updated 6 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 6 years ago
- ☆60Updated last month
- A zero-allocation ring buffer for storing text logs, implemented in Rust☆51Updated 2 years ago
- Dust your Rust with USDT probes☆106Updated this week
- A simplified Rust interface to the sysctl system call☆52Updated 10 months ago
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆130Updated 4 years ago
- secure edge access overlay network for IoT devices☆85Updated 3 years ago
- Single-reader, multi-writer & single-reader, multi-verifier; broadcasts reads to multiple writeable destinations in parallel☆26Updated 6 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆203Updated last year
- Process supervisor that supports linux containers☆114Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/syscall☆36Updated 2 weeks ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆117Updated last year
- Send syslog messages from Rust☆116Updated 11 months ago
- A Rust binding to OpenBSD's pledge(2) interface☆27Updated 2 years ago
- (Rust) A modern DHCP server for IPv4 and IPv6☆20Updated 9 years ago
- rust histogram and percentile stats☆48Updated 4 years ago