Alternatives and similar repositories for minos2:

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

• minosproject / minos
  Flexible Virtualization Solution for Embedded System
  ☆251Updated 11 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆82Updated last week
• fernandotcl / TinyEMU
  Tweaks to Fabrice Bellard's TinyEMU
  ☆128Updated last year
• xinyu391 / zircon
  Zircon Kernel, Core Drivers, and Services
  ☆32Updated 5 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated last week
• riscv-collab / v8
  Port of Google v8 engine to RISC-V.
  ☆238Updated 4 months ago
• rust-vmm / vm-virtio
  virtio implementation
  ☆387Updated last week
• seL4 / util_libs
  ☆58Updated last week
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆59Updated last year
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated last week
• Lenz-K / arm64-kvm-hello-world
  A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
  ☆24Updated last year
• wbx-github / uclibc-ng
  Embedded C Library (mirror)
  ☆138Updated 6 months ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆561Updated this week
• ashwio / arm64-hypervisor-tutorial
  ☆102Updated 5 years ago
• Bareflank / MicroV
  A micro hypervisor for running micro VMs
  ☆257Updated 5 months ago
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆662Updated last year
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆64Updated 7 years ago
• qemu / seabios
  Mirror of git.qemu.org/seabios.git
  ☆60Updated last week
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆87Updated this week
• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• loongson-community / docs
  Collection of Loongson products' public documentation
  ☆69Updated last week
• SikkiLadho / Leo
  Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
  ☆34Updated 2 years ago
• bao-project / bao-hypervisor
  Bao, a Lightweight Static Partitioning Hypervisor
  ☆396Updated 2 weeks ago
• retrage / edk2-nightly
  Unofficial EDK2 nightly build
  ☆61Updated this week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆193Updated last month
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆50Updated 3 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 2 years ago
• NienfengYao / armv8-bare-metal
  ☆100Updated 6 years ago
• JasonBrave / PanicOS
  A simple x86 operating system with graphical user space
  ☆57Updated last year
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆60Updated 3 years ago