Alternatives and similar repositories for SentinelBoot

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

• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 3 months ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆198Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆217Updated this week
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆211Updated 5 months ago
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆47Updated 3 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆120Updated 2 years ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆117Updated this week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆136Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆186Updated 2 months ago
• YJDoc2 / pcb-rs
  A library to easily write software emulated hardware
  ☆115Updated 3 years ago
• nuta / hypervisor-in-1000-lines
  Writing a hypervisor in 1,000 lines.
  ☆295Updated 4 months ago
• microsoft / igvm
  ☆141Updated 3 weeks ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆341Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆82Updated this week
• bootreer / vroom
  userspace nvme driver
  ☆108Updated 7 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆208Updated 9 months ago
• OpenDevicePartnership / patina
  Patina Firmware
  ☆509Updated this week
• zdimension / parm_extended
  ☆52Updated 2 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆117Updated last year
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆39Updated 2 weeks ago
• starina-os / starina
  ☆433Updated last week
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• mcy / vb64
  SIMD base64 codecs
  ☆88Updated last year
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆302Updated last year
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆105Updated last week
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆41Updated last year
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆90Updated last month
• cbiffle / exhubris
  Making Hubris available to external applications.
  ☆54Updated last year
• Bas-Man / rust-decon-spf
  A Rust library to deconstruct DNS SPF records
  ☆17Updated 9 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago