ppopth / kelner
Safe portable simple microkernel written purely in Rust
☆9Updated 5 years ago
Alternatives and similar repositories for kelner:
Users that are interested in kelner are comparing it to the libraries listed below
- A small standalone WebAssembly interpreter in Rust☆36Updated 6 years ago
- An init utility purely written in Rust.☆24Updated 7 years ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- A disassembler framework☆18Updated 2 years ago
- Rust bindings to the KVM interface☆17Updated 5 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- libelf written in Zig (WIP)☆15Updated 3 years ago
- constant-size associative container backed by a simple array☆19Updated last year
- SPARX block ciphers implementations for Rust.☆15Updated 2 years ago
- Safe wrappers for VFIO☆14Updated 3 years ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated last year
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- x86-64 kernel in Rust☆31Updated 8 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 9 years ago
- Rust crate that creates anonymous shared memory file descriptors for IPC using memfd/SHM_ANON/shm_open | now on https://github.com/valpac…☆13Updated 2 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Records and replays input sent in a terminal session.☆28Updated 2 years ago
- Enarx Keep Loader☆15Updated 3 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- A transducer library for Rust☆10Updated 8 years ago
- Generate Rust services from XDR RPC☆29Updated 7 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated last month
- Hazard pointer based concurrent memory reclamation for Rust.☆30Updated 4 years ago
- Minimal MacOS Kernel Extension in Rust☆59Updated 6 years ago
- A sandboxing library for Rust | now on https://codeberg.org/valpackett/rusty-sandbox☆57Updated 2 years ago
- Rust firewall for seL4☆10Updated 6 years ago
- A library that provides a way to logically own objects, whether or not heap allocation is available☆67Updated 7 months ago
- Managing Rust dependencies via a dashboard☆49Updated last year
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆27Updated 4 years ago
- DIY init for elaborate disk encryption☆9Updated 9 years ago