LawrenceHunter / SentinelBootLinks
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆68Updated 10 months ago
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below
Sorting:
- rust wrapper for linux kernel library☆46Updated 2 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆162Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- Rust support for seL4 userspace☆158Updated 2 weeks ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆119Updated this week
- The Hermit bootloader.☆77Updated last week
- Pico Host Boot Loader☆111Updated last week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆116Updated last year
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆205Updated 3 months ago
- Bertie TLS 1.3 Implementation☆118Updated 2 weeks ago
- userspace nvme driver☆100Updated 9 months ago
- Making Hubris available to external applications.☆50Updated 4 months ago
- DWARF program analysis crate☆19Updated last year
- The Xr0 Verifier for C☆179Updated 2 months ago
- ☆102Updated 2 weeks ago
- Inspect and dissect an ELF file with pretty formatting.☆107Updated last year
- Library facilitating safe pinned initialization☆41Updated last week
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆34Updated 11 months ago
- A specialized hypervisor for Hermit.☆265Updated this week
- Simple monolithic kernel written in Rust for x86-64☆24Updated 3 months ago
- Lints for kernel or embedded system development.☆109Updated last week
- A dynamic library bundling the guest payload consumed by libkrun☆97Updated last week
- Rust bindings for the FreeBSD capsicum framework☆61Updated this week
- An application template for Hermit for Rust.☆36Updated last month
- Simple RISC-V emulator presented at Rust Nation 2023☆64Updated 2 years ago
- program analysis for machine code☆35Updated 3 years ago
- arm decoders for the yaxpeax project☆25Updated 3 weeks ago
- A dynamic binary tracing tool☆67Updated 3 years ago
- A Rust library for the Linux Landlock sandboxing feature☆138Updated 3 weeks ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆142Updated this week