mesalock-linux / packagesLinks
MesaLock Linux packages.
☆13Updated 6 years ago
Alternatives and similar repositories for packages
Users that are interested in packages are comparing it to the libraries listed below
Sorting:
- A collection of core system utilities written in Rust for Unix-like systems (and now Windows)☆138Updated 6 years ago
- MesaLock Linux: a memory-safe Linux distribution.☆369Updated 6 years ago
- RISCV Rust Toolchain☆117Updated 7 years ago
- ☆54Updated last month
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- Experimental kernel for embedded devices written in Rust☆91Updated 3 years ago
- ALLVM Tools☆56Updated 3 years ago
- elf parser and navigation tool, pure Rust☆170Updated 5 months ago
- An init utility purely written in Rust.☆26Updated 7 years ago
- ☆28Updated 5 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- RISC-V port of GNU's libc☆71Updated 4 years ago
- A RISC-V ISA simulator written in Rust☆12Updated 8 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 8 months ago
- [unmaintenance] A experimental post-quantum cryptography library☆139Updated 6 years ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆90Updated 2 years ago
- rust verification condition generator☆96Updated 9 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆29Updated 5 years ago
- A network stack in pure Rust☆58Updated 8 years ago
- A sandboxing library for Rust | now on https://codeberg.org/valpackett/rusty-sandbox☆58Updated 2 years ago
- Xen-based unikernel in Rust☆57Updated 8 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- A fast, general purpose crypto library in pure Rust.☆21Updated 7 years ago
- Linux Kernel Lua Scripting Engine☆63Updated 9 years ago
- Project dependency manager☆74Updated 6 years ago
- Slab allocator for no_std systems. Uses multiple slabs with blocks of different sizes and makes a linked list from free blocks☆12Updated 2 years ago
- ENE is an end-to-end encryption tool designed for mail.☆14Updated 6 years ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆133Updated 4 months ago
- A tiny 32 bit kernel written in Rust, for fun☆194Updated 8 years ago
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago