Alternatives and similar repositories for armos

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

• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆51Updated 6 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 3 years ago
• NienfengYao / armv8-bare-metal
  ☆106Updated 6 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆103Updated 10 years ago
• Lenz-K / arm64-kvm-hello-world
  A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
  ☆28Updated last year
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆58Updated this week
• SikkiLadho / Leo
  Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
  ☆35Updated 2 years ago
• hakula139 / xv6-armv8
  [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
  ☆18Updated 4 years ago
• naoki9911 / xv6_uefi
  xv6 runs on UEFI
  ☆33Updated 6 years ago
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• s094392 / riscv-bare-metal
  A RISC-V bare metal example
  ☆48Updated 3 years ago
• smwikipedia / EmbeddedAndRTOSSamples
  Sample Code for Embedded and Real-Time Operating Systems by K. C. Wang
  ☆24Updated last month
• zetalog / sdfirm
  Ultra light weight small device firmware. Well architected to support MMU, SMP, low power idle. Can be run on various CPU architectures.
  ☆17Updated last week
• k-mrm / aarch64-os
  (wip) an UNIX-like OS for aarch64
  ☆12Updated last year
• jborza / emuriscv
  RISC-V emulator in C
  ☆33Updated 4 years ago
• mmxsrup / ahci-baremetal-driver
  SATA AHCI baremetal driver
  ☆22Updated 6 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆88Updated last week
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆59Updated 3 years ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆81Updated 4 years ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆83Updated last week
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆31Updated 2 years ago
• matsud224 / raspvisor
  A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)
  ☆51Updated 4 years ago
• RiversJin / ToyOS
  A simple SMP OS on ARMv8a
  ☆23Updated 3 years ago
• baozich / mini-os
  mini-os for arm64
  ☆15Updated 9 years ago
• Xilinx / qemu-devicetrees
  Device trees used by QEMU to describe the hardware
  ☆50Updated 3 weeks ago
• rhythm16 / rpi4-bare-metal
  an operating system for the Raspberry Pi 4B in the making
  ☆58Updated last year
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• fmash16 / riscv_emulator
  A basic working RISCV emulator written in C
  ☆69Updated last year
• bao-project / bao-demos
  A guide on how to build and use a set of Bao guest configurations for various platforms
  ☆42Updated 5 months ago