Alternatives and similar repositories for minos:

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

• bao-project / bao-hypervisor
  Bao, a Lightweight Static Partitioning Hypervisor
  ☆398Updated 3 weeks ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆565Updated 2 weeks ago
• codingbelief / arm-architecture-reference-manual-for-armv8-a
  ARM Architecture Reference Manual for ARMv8-A 中文解读
  ☆87Updated 8 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆95Updated last week
• prtos-project / prtos-hypervisor
  PRTOS Hypervisor is a lightweight, open-source embedded hypervisor
  ☆55Updated last week
• BiscuitOS / BiscuitOS
  Common scripts to build BiscuitOS
  ☆273Updated 3 months ago
• ARM-software / SCP-firmware
  This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…
  ☆240Updated 6 months ago
• quic / gunyah-hypervisor
  Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.
  ☆336Updated last year
• GiantVM / doc
  documents
  ☆163Updated 2 years ago
• runninglinuxkernel / arm64_programming_practice
  ☆259Updated 6 months ago
• oasis-tcs / virtio-spec
  OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…
  ☆253Updated last week
• figozhang / runninglinuxkernel_5.0
  奔跑吧linux内核第二版（卷1，卷2，入门篇） 实验平台
  ☆271Updated last month
• NienfengYao / armv8-bare-metal
  ☆101Updated 6 years ago
• ChinaLinuxKernel / CLK
  ☆156Updated 3 years ago
• iDalink / ld-linker-script
  GNU ld linker script 介绍 博客 链接脚本
  ☆171Updated 5 years ago
• lishuhuakai / qemu_reading
  qemu源码的阅读笔记
  ☆73Updated 6 months ago
• kvmtool / kvmtool
  Stand-alone Native Linux KVM Tool repo
  ☆534Updated 4 months ago
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆31Updated last year
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 6 years ago
• runninglinuxkernel / BenOS
  ☆65Updated 2 years ago
• ChinaLinuxKernel / CLK2023
  Slides of CLK2023, Shenzhen
  ☆58Updated last year
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated this week
• pengdonglin137 / remap_pfn_demo
  ☆32Updated last year
• novelinux / linux-4.x.y
  Linux 4.4内核实践分析
  ☆105Updated 4 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆102Updated 6 years ago
• ChinaLinuxKernel / CLK2019
  slides of CLK 2019 Hangzhou
  ☆67Updated 5 years ago
• PanQL / zircon
  从fuchsia官方目录中分离出来的zircon代码
  ☆51Updated 5 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆97Updated 9 years ago
• yangoliver / lktm
  Linux kernel training materials
  ☆49Updated 7 years ago
• LucidaLi / Intermals_of_Linux_device_driver
  Intermals_of_Linux_device_driver
  ☆25Updated 6 years ago