Alternatives and similar repositories for os

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

• wreczek / Operating-Systems
  ☆10Updated 6 years ago
• poconoco / buggybug
  3dof hexapod firmware sources (arduino) + remote control sources (android)
  ☆17Updated 9 years ago
• phoenix-rtos / phoenix-rtos-doc
  ☆11Updated this week
• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆30Updated 4 months ago
• Alessandro-Salerno / SalernOS-EFI-Bootloader
  A Bootloader for my Operating System
  ☆10Updated 10 months ago
• tanyugang / ToyBoot
  BootLoader for ToyOS, developed under EDK2, support UEFI.
  ☆16Updated last year
• rubikshift / UEFI_MARIO
  Simple game, which can be run on UEFI
  ☆11Updated 6 years ago
• sugawaray / efiboot
  A tool to execute an elf binary in the UEFI shell environment.
  ☆10Updated 9 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• RayHuangCN / yatos
  Yet another tiny OS
  ☆18Updated 8 years ago
• peterzuger / libc
  C standard library for embedded systems
  ☆12Updated 3 weeks ago
• openeuler-mirror / UniProton
  ☆17Updated 3 months ago
• CenoOS / CenoOS-IOT
  CenoOS is a real time operating system for IOT devices from cenocloud.
  ☆18Updated 6 years ago
• cupnes / uefi_bare_metal_programming_part2_samples
  ☆12Updated 7 years ago
• kurtqiao / snapshot
  a screen snapshot application under UEFI
  ☆10Updated 11 years ago
• devdnl / dnx-rtos
  Small UNIX-like Real Time Operating System based on FreeRTOS kernel.
  ☆16Updated 3 years ago
• lihas / UEFI
  Repository containing all UEFI development I am doing
  ☆13Updated 9 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆24Updated 3 years ago
• 3mdeb / edk2-docker
  Docker container for building EDK2 UEFI Open Source reference implementation
  ☆16Updated 10 months ago
• DOGSHITD / Simple-UEFI-Bootloader-ARM64
  ARM64 version of Simple UEFI Bootloader
  ☆27Updated 6 years ago
• MakeOS / GhostBirdOS
  A lightweight, multi-tasking graphical operating system, JUST FOR FUN!
  ☆12Updated 6 years ago
• KilianKegel / Howto-setup-a-UEFI-Development-PC
  Howto setup a UEFI Development PC.
  ☆10Updated last month
• dwendt / awesome-uefi
  it's popular to keep reference lists on github
  ☆13Updated 3 years ago
• Arignir / Poseidon
  🔱 A WIP SMP-aware micro-kernel
  ☆10Updated last month
• dreamflyforever / fos
  Interesting project，the Fast Real Time Operating Systems( FOS-RTOS)
  ☆24Updated 3 years ago
• efidroid / uefi_apps_EFIDroidUi
  EDK II EFIDroidUi
  ☆12Updated 7 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 8 years ago
• rinusser / UEFIStarter
  framework to simplify UEFI development with TianoCore EDK2
  ☆18Updated 7 years ago
• SamJakob / thornhill
  A hobbyist UEFI x86-64/long-mode Operating System.
  ☆10Updated 2 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 10 years ago