Alternatives and similar repositories for TachyOS

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

• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆30Updated 4 months ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆24Updated 3 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• raspberrypi / weston
  The Weston Wayland Compositor
  ☆40Updated 11 years ago
• olibc / olibc
  Another C Library optimized for Embedded Linux
  ☆60Updated 11 years ago
• jameswalmsley / FreeRTOS
  Git Import of the FreeRTOS SVN repository.
  ☆43Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• uli2k / ulios2
  A Micro Kernel Operating System
  ☆12Updated 5 years ago
• tonyrog / uart
  serial com api
  ☆38Updated 4 years ago
• gfwilliams / tinycc
  Hacked up version of the Tiny C Compiler with basic ARM Thumb output
  ☆27Updated 11 months ago
• michael2012z / Sparrow
  My Operating System.
  ☆81Updated 11 years ago
• blackberry / SpiderMonkey
  SpiderMonkey is Mozilla's JavaScript engine written in C/C++.
  ☆21Updated 13 years ago
• haileys / mini64
  64 bit hobby OS
  ☆26Updated 9 years ago
• jonsmirl / mpc5200
  Digispeaker
  ☆24Updated 4 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• tinyos / nesc
  Master nesc repository
  ☆105Updated 6 years ago
• mirror / xserver
  Xserver mirror
  ☆52Updated 11 months ago
• hellox-project / HelloX_OS
  Main branch of HelloX,include Kernel,GUI,SD,and all components.
  ☆68Updated last year
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆48Updated 7 years ago
• shaojianqing / SmileOS
  SmileOS is actually one researching Operating System.
  ☆47Updated 8 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆34Updated 12 years ago
• frantony / barebox
  ☆33Updated last year
• efidroid / uefi_apps_EFIDroidUi
  EDK II EFIDroidUi
  ☆12Updated 7 years ago
• sailfishos / yamui
  Yet Another Minimal UI. Tool for displaying graphical notifications in minimal evironments like early boot / initrd
  ☆18Updated last year
• embedded2015 / freertos-basic
  Basic integrated FreeRTOS
  ☆17Updated 10 years ago
• gridnow / GridOS
  Grid Operating system
  ☆55Updated 3 years ago
• wisepythagoras / dart
  A Unix/Linux like operating system
  ☆20Updated 5 years ago
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 4 months ago
• jserv / build-your-own-x
  🤓 Build your own <insert technology here>
  ☆17Updated 7 years ago