Alternatives and similar repositories for vuos:

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

• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆53Updated 9 months ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆85Updated this week
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆31Updated this week
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated 3 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆21Updated 3 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• marty1885 / landlock-unveil
  OpenBSD unveil(2) like function in Linux using Landlock
  ☆25Updated 3 weeks ago
• jmbaur / tinyboot
  A kexec-based bootloader
  ☆21Updated last week
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆63Updated 4 years ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 3 years ago
• eltanin-os / tertium
  Eltanin system programming library
  ☆17Updated last month
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated last month
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• rostedt / shelf
  A Shell to parse ELF files
  ☆19Updated last year
• yabits / 9pfsPkg
  Painless Network-Transparent Network Boot with 9P
  ☆63Updated last year
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆179Updated this week
• jncronin / mkgpt
  Command line tool to generate disk images containing GPT partition tables
  ☆13Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆50Updated 6 years ago
• zandralinux / zandra
  A source-based Linux distribution with an unwavering adherence to the UNIX philosophy
  ☆9Updated 2 years ago
• liampwll / zig-efi-os
  ☆17Updated 4 years ago
• Mic92 / iana-etc
  Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers
  ☆24Updated last week
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆83Updated 5 years ago
• InitWare / CGrpFS
  Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms
  ☆14Updated 3 years ago