LawrenceHunter / SentinelBoot
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆62Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for SentinelBoot
- A secure, fast, and adaptable OS based on the seL4 microkernel☆95Updated this week
- Bertie TLS 1.3 Implementation☆112Updated this week
- Rust support for seL4 userspace☆121Updated last week
- The Xr0 Verifier for C☆174Updated last month
- userspace nvme driver☆95Updated 2 months ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆96Updated this week
- The Hermit bootloader.☆70Updated this week
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- rust wrapper for linux kernel library☆46Updated last year
- ☆52Updated last month
- IETF RFC2217 implementation in Rust☆133Updated 9 months ago
- Building a basic async runtime from scratch in embedded Rust☆51Updated 2 months ago
- ☆91Updated 3 months ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆119Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆108Updated last year
- Inspect and dissect an ELF file with pretty formatting.☆97Updated 8 months ago
- Pico Host Boot Loader☆102Updated 2 weeks ago
- SIMD base64 codecs☆76Updated 9 months ago
- DWARF program analysis crate☆16Updated 6 months ago
- The formally verified crypto library for Rust☆89Updated this week
- A library to easily write software emulated hardware☆111Updated 2 years ago
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆47Updated 4 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 5 months ago
- Deducing Tock execution flows from Ibex Verilator traces☆68Updated 2 years ago
- Simple EFI bootloader☆45Updated 3 months ago
- A tiny x86_64 kernel written in Rust.☆80Updated 2 years ago
- An educational implementation of a modern compressor in Rust☆46Updated last year
- A Rust library to deconstruct DNS SPF records☆16Updated this week
- Rust-based Unikernel☆124Updated 10 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated 2 months ago