Alternatives and similar repositories for xv6-OS-for-arm-v8:

Users that are interested in xv6-OS-for-arm-v8 are comparing it to the libraries listed below

• NienfengYao / armv8-bare-metal
  ☆100Updated 6 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆96Updated 9 years ago
• Thewbi / armos
  ARM OS
  ☆12Updated 2 years ago
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆51Updated 3 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆177Updated last year
• mariuz / linux-0.01
  compilable linux-0.01
  ☆76Updated 2 years ago
• naoki9911 / xv6_uefi
  xv6 runs on UEFI
  ☆33Updated 6 years ago
• hakula139 / xv6-armv8
  [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
  ☆16Updated 3 years ago
• RiversJin / ToyOS
  A simple SMP OS on ARMv8a
  ☆22Updated 2 years ago
• KevinVan720 / xv6-gui
  xv6 OS
  ☆26Updated 2 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated 2 weeks ago
• houcheng / xv6-armv7
  xv6 porting on armv7 cpu
  ☆20Updated 10 years ago
• michaelengel / xv6-d1
  Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC
  ☆104Updated 2 years ago
• takeharukato / sample-tsk-sw
  A Sample Operating System Kernel for Embedded Systems
  ☆14Updated 4 years ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆134Updated 3 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• vibhorvatsa / xv6-networking-stack
  A network stack implementation for xv6 OS
  ☆29Updated 6 years ago
• runninglinuxkernel / BenOS
  ☆65Updated 2 years ago
• saneee / x86_64_kernel
  ☆20Updated 4 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆82Updated 2 weeks ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆84Updated 6 years ago
• matsud224 / raspvisor
  A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)
  ☆52Updated 4 years ago
• k-mrm / xv6-aarch64
  xv6 port to aarch64 virt board
  ☆20Updated last year
• xhd2015 / rsp3-armv8-baremetal
  rsp3 in conjunction with armv8 in baremetal mode
  ☆25Updated 6 years ago
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆54Updated this week
• seL4 / util_libs
  ☆58Updated last week
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆69Updated this week
• rhythm16 / rpi4-bare-metal
  an operating system for the Raspberry Pi 4B in the making
  ☆57Updated 9 months ago