LawrenceHunter / SentinelBootLinks
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆69Updated 11 months ago
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below
Sorting:
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆120Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆138Updated this week
- rust wrapper for linux kernel library☆47Updated 2 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆177Updated this week
- Bertie TLS 1.3 Implementation☆124Updated last month
- Pico Host Boot Loader☆111Updated last week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated 5 months ago
- Rust support for seL4 userspace☆162Updated 3 weeks ago
- Inspect and dissect an ELF file with pretty formatting.☆114Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆30Updated this week
- The Hermit bootloader.☆78Updated this week
- SIMD base64 codecs☆86Updated last year
- A library to easily write software emulated hardware☆115Updated 3 years ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆143Updated last week
- ☆51Updated this week
- Provides easy-to-use Linux seccomp-bpf jailing.☆88Updated this week
- The Xr0 Verifier for C☆179Updated 3 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- DWARF program analysis crate☆23Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated last year
- An application template for Hermit for Rust.☆36Updated this week
- userspace nvme driver☆102Updated last month
- Making Hubris available to external applications.☆50Updated 6 months ago
- A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)☆30Updated last week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- An experimental modern general-purpose microkernel OS.☆370Updated this week
- Disk handling with Rust☆101Updated last month
- a tool for reinterpreting ELF executables and shared libraries☆329Updated 8 months ago
- Rust-based Unikernel☆126Updated last year