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:
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆198Updated this week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆135Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆211Updated this week
- Rust support for seL4 userspace☆182Updated 2 months ago
- Pico Host Boot Loader☆117Updated this week
- ☆141Updated 2 weeks ago
- rust wrapper for linux kernel library☆47Updated 3 years ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 5 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- userspace nvme driver☆108Updated 7 months ago
- Writing a hypervisor in 1,000 lines.☆293Updated 4 months ago
- The Xr0 Verifier for C☆207Updated 9 months ago
- An experimental modern general-purpose microkernel OS.☆431Updated this week
- A library to easily write software emulated hardware☆115Updated 3 years ago
- SIMD base64 codecs☆88Updated last year
- The Hermit bootloader.☆82Updated this week
- Making Hubris available to external applications.☆54Updated 11 months ago
- Patina Firmware☆509Updated this week
- Provides easy-to-use Linux seccomp-bpf jailing.☆104Updated 2 months ago
- ☆77Updated 2 years ago
- Inspect and dissect an ELF file with pretty formatting.☆116Updated last year
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆286Updated this week
- What do you call a pointer we stole the high bits off? An ointer.☆90Updated last month
- ☆52Updated 2 months ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆41Updated last year
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆157Updated this week
- A Rust library to deconstruct DNS SPF records☆17Updated 8 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆42Updated 2 weeks ago
- An application template for Hermit for Rust.☆39Updated last week