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
  ☆124Updated 2 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆142Updated this week
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆180Updated this week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆122Updated this week
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆111Updated last month
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆47Updated 2 years ago
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆205Updated 5 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆163Updated last month
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆93Updated 3 weeks ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆378Updated 2 weeks ago
• bootreer / vroom
  userspace nvme driver
  ☆102Updated last month
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 4 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆78Updated last week
• wcampbell0x2a / backhand
  Library and binaries for the reading, creating, and modification of SquashFS file systems
  ☆144Updated this week
• microsoft / igvm
  ☆106Updated last week
• esp-rs / rfc2217-rs
  IETF RFC2217 implementation in Rust
  ☆136Updated last year
• YJDoc2 / pcb-rs
  A library to easily write software emulated hardware
  ☆115Updated 3 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆23Updated last year
• zdimension / parm_extended
  ☆51Updated this week
• mcy / vb64
  SIMD base64 codecs
  ☆87Updated last year
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated 2 months ago
• Oakchris1955 / simple-fatfs
  A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)
  ☆31Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆271Updated this week
• cbiffle / exhubris
  Making Hubris available to external applications.
  ☆51Updated 6 months ago
• Bas-Man / rust-decon-spf
  A Rust library to deconstruct DNS SPF records
  ☆17Updated 3 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆114Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated last month
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆330Updated 9 months ago