LawrenceHunter / SentinelBootLinks
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆66Updated last year
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below
Sorting:
- Bertie TLS 1.3 Implementation☆125Updated last 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 …☆190Updated last week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆127Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆147Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆209Updated 2 months ago
- Rust support for seL4 userspace☆170Updated last month
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆117Updated 2 years ago
- Pico Host Boot Loader☆114Updated last month
- The Xr0 Verifier for C☆178Updated 6 months ago
- userspace nvme driver☆104Updated 3 months ago
- Writing a hypervisor in 1,000 lines.☆255Updated last month
- A library to easily write software emulated hardware☆115Updated 3 years ago
- The Hermit bootloader.☆79Updated last week
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated 2 weeks ago
- Making Hubris available to external applications.☆53Updated 8 months ago
- An experimental modern general-purpose microkernel OS.☆402Updated this week
- DWARF program analysis crate☆24Updated last year
- An application template for Hermit for Rust.☆36Updated 2 months ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆145Updated this week
- A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)☆37Updated last week
- SIMD base64 codecs☆88Updated last year
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆39Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆88Updated 2 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆100Updated 3 weeks ago
- IETF RFC2217 implementation in Rust☆136Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- An Operating System for Building Small Computers☆296Updated 9 months ago
- Embedded Linker☆213Updated this week