LawrenceHunter / SentinelBoot
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆65Updated 8 months ago
Alternatives and similar repositories for SentinelBoot:
Users that are interested in SentinelBoot are comparing it to the libraries listed below
- Making Hubris available to external applications.☆48Updated 3 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆132Updated 3 weeks ago
- Rust support for seL4 userspace☆147Updated last month
- rust wrapper for linux kernel library☆46Updated 2 years ago
- Pico Host Boot Loader☆109Updated last week
- An application template for Hermit for Rust.☆34Updated last month
- The Hermit bootloader.☆75Updated 2 weeks ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Bertie TLS 1.3 Implementation☆118Updated last week
- DWARF program analysis crate☆17Updated last year
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆111Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- userspace nvme driver☆98Updated 7 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- New register allocator designed as a successor to regalloc2☆38Updated 2 months ago
- SIMD base64 codecs☆82Updated last year
- MnemOS Global Networking Protocol☆16Updated last year
- Embedded Linker☆155Updated this week
- Library facilitating safe pinned initialization☆38Updated this week
- IETF RFC2217 implementation in Rust☆135Updated last year
- Tiny C library written in Rust☆57Updated 5 months ago
- ☆60Updated 2 years ago
- A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)☆23Updated 2 weeks ago
- A Rust library to deconstruct DNS SPF records☆15Updated last month
- ☆100Updated 2 weeks ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- SSH for Rust, no_std and elsewhere☆67Updated 3 weeks ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆136Updated this week
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- Inspect and dissect an ELF file with pretty formatting.☆106Updated last year