Alternatives and similar repositories for SentinelBoot:

Users that are interested in SentinelBoot are comparing it to the libraries listed below

• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆109Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last week
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆46Updated 2 years ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆106Updated last month
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆111Updated last year
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆104Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆131Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week
• cbiffle / exhubris
  Making Hubris available to external applications.
  ☆46Updated 2 weeks ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆48Updated 2 weeks ago
• bootreer / vroom
  userspace nvme driver
  ☆97Updated 5 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated last year
• wcampbell0x2a / backhand
  Library and binaries for the reading, creating, and modification of SquashFS file systems
  ☆125Updated this week
• Oakchris1955 / simple-fatfs
  A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)
  ☆23Updated last month
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆183Updated 2 weeks ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆81Updated last month
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆31Updated last week
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆16Updated last year
• ktemkin / usrs
  Universal Serial Rust; a pure-rust library for working with USB devices
  ☆106Updated 2 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆16Updated 9 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆102Updated 11 months ago
• microsoft / igvm
  ☆93Updated 3 weeks ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆105Updated this week
• esp-rs / rfc2217-rs
  IETF RFC2217 implementation in Rust
  ☆133Updated last year
• fujita / rust-e1000
  ☆77Updated last year
• YJDoc2 / pcb-rs
  A library to easily write software emulated hardware
  ☆114Updated 2 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆104Updated this week
• mcy / vb64
  SIMD base64 codecs
  ☆79Updated last year