Alternatives and similar repositories for mini-os

Users that are interested in mini-os are comparing it to the libraries listed below

• NienfengYao / armv8-bare-metal
  ☆111Updated 6 years ago
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆54Updated 7 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆108Updated 10 years ago
• jinb-park / rcu_example
  rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example
  ☆34Updated 2 years ago
• minosproject / minos
  Flexible Virtualization Solution for Embedded System
  ☆257Updated last year
• seL4 / util_libs
  ☆59Updated last month
• mmxsrup / ahci-baremetal-driver
  SATA AHCI baremetal driver
  ☆23Updated 6 years ago
• swetland / xv6
  64bit port of xv6
  ☆135Updated 6 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆189Updated 2 years ago
• lucastsa / slab_allocator
  Implementation of the Slab Allocator as described in "The Slab Allocator: An Object-Caching Kernel Memory Allocator" by Jeff Bonwick.
  ☆36Updated 11 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆19Updated 6 years ago
• lorenzo-stoakes / linux-gorman-book-notes
  Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.
  ☆52Updated 9 years ago
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆190Updated 7 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆155Updated last year
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• saneee / x86_64_kernel
  ☆21Updated 5 years ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆61Updated 9 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 4 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 10 years ago
• WangNan0 / kbuild-standalone
  Standalone kconfig and kbuild
  ☆62Updated 4 months ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• RWTH-OS / eduOS
  A teaching operating system to get a deeper knowledge in the design of system software
  ☆144Updated 8 years ago
• Thewbi / armos
  ARM OS
  ☆14Updated 3 years ago
• thibault-reigner / userland_slab
  Small implementation in C of a slab allocator in user space
  ☆39Updated last year
• aweeraman / kernel-utils
  Scripts for kernel hacking, development and testing on qemu
  ☆36Updated last year
• pykello / arunos
  A simple operating system for ARM processors
  ☆133Updated 5 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆142Updated last week
• houcheng / xv6-armv7
  xv6 porting on armv7 cpu
  ☆22Updated 11 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆73Updated 5 months ago