Alternatives and similar repositories for SentinelBoot

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

• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆155Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆156Updated this week
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆46Updated 2 years ago
• bootreer / vroom
  userspace nvme driver
  ☆99Updated 8 months ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆113Updated this week
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆110Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆76Updated this week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated last month
• cbiffle / exhubris
  Making Hubris available to external applications.
  ☆50Updated 3 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆136Updated this week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆115Updated last year
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆34Updated last week
• cbiffle / debugdb
  DWARF program analysis crate
  ☆18Updated last year
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆84Updated last month
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆106Updated last year
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆205Updated 3 months ago
• zdimension / parm_extended
  ☆52Updated 7 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆64Updated 2 years ago
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆133Updated last week
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated 3 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 6 months ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• Oakchris1955 / simple-fatfs
  A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)
  ☆23Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆263Updated last week
• wcampbell0x2a / backhand
  Library and binaries for the reading, creating, and modification of SquashFS file systems
  ☆137Updated last week
• JoshMcguigan / backlight
  A dynamic binary tracing tool
  ☆68Updated 3 years ago
• nccgroup / freebsd-kernel-module-rust
  ☆61Updated 2 years ago