LawrenceHunter / SentinelBootLinks
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆67Updated last year
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below
Sorting:
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- rust wrapper for linux kernel library☆47Updated 2 years ago
- Bertie TLS 1.3 Implementation☆125Updated 3 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Pico Host Boot Loader☆111Updated last week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆206Updated 3 weeks ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆126Updated last week
- Inspect and dissect an ELF file with pretty formatting.☆114Updated last year
- The Xr0 Verifier for C☆178Updated 4 months ago
- Rust support for seL4 userspace☆164Updated last week
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆185Updated last week
- A library to easily write software emulated hardware☆115Updated 3 years ago
- The Hermit bootloader.☆79Updated last week
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆144Updated this week
- userspace nvme driver☆102Updated 2 months ago
- SIMD base64 codecs☆87Updated last year
- DWARF program analysis crate☆23Updated last year
- An experimental modern general-purpose microkernel OS.☆380Updated last month
- ☆51Updated last week
- Making Hubris available to external applications.☆53Updated 7 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆97Updated last week
- An Operating System for Building Small Computers☆290Updated 7 months ago
- Rust-based Unikernel☆125Updated last year
- IETF RFC2217 implementation in Rust☆136Updated last year
- A Rust library to deconstruct DNS SPF records☆17Updated 4 months ago
- Simple EFI bootloader☆46Updated last year
- xv6 OS☆242Updated last week
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆154Updated 11 months ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated 2 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year