minosproject / minos2

Related projects ⓘ

Alternatives and complementary repositories for minos2

• minosproject / minos
  Flexible Virtualization Solution for Embedded System
  ☆247Updated 9 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆76Updated this week
• fernandotcl / TinyEMU
  Tweaks to Fabrice Bellard's TinyEMU
  ☆122Updated last year
• qemu / seabios
  Mirror of git.qemu.org/seabios.git
  ☆57Updated last year
• Lenz-K / arm64-kvm-hello-world
  A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
  ☆20Updated 10 months ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 9 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated this week
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆22Updated 2 years ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆146Updated 3 years ago
• bao-project / bao-hypervisor
  Bao, a Lightweight Static Partitioning Hypervisor
  ☆379Updated this week
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆380Updated 2 weeks ago
• barebox / barebox
  The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox
  ☆161Updated last week
• 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
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆88Updated 4 months ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆543Updated 4 months ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• JasonBrave / PanicOS
  A simple x86 operating system with graphical user space
  ☆55Updated 9 months ago
• ARM-software / ebbr
  Embedded Base Boot Requirements Specification
  ☆115Updated 3 weeks ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆107Updated 3 weeks ago
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆49Updated this week
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆45Updated 6 years ago
• wbx-github / uclibc-ng
  Embedded C Library (mirror)
  ☆128Updated 3 months ago
• retrage / edk2-nightly
  Unofficial EDK2 nightly build
  ☆61Updated this week
• baozich / mini-os
  mini-os for arm64
  ☆15Updated 9 years ago
• jserv / codezero
  Codezero Microkernel
  ☆105Updated 2 years ago
• riscv-collab / v8
  Port of Google v8 engine to RISC-V.
  ☆237Updated last month
• ashwio / arm64-hypervisor-tutorial
  ☆100Updated 5 years ago
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆664Updated last year
• tianocore / edk2-non-osi
  EDK II non-OSI licensed content
  ☆62Updated 2 weeks ago