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.
  ☆29Updated 5 months ago
• blackberry / SpiderMonkey
  SpiderMonkey is Mozilla's JavaScript engine written in C/C++.
  ☆21Updated 13 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆24Updated 3 years ago
• raspberrypi / weston
  The Weston Wayland Compositor
  ☆40Updated 11 years ago
• hellox-project / HelloX_OS
  Main branch of HelloX,include Kernel,GUI,SD,and all components.
  ☆68Updated last year
• tinyos / nesc
  Master nesc repository
  ☆105Updated 6 years ago
• bradfa / clfs-embedded-pregithub
  Cross Linux From Scratch - Embedded Book
  ☆21Updated 8 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago
• jameswalmsley / FreeRTOS
  Git Import of the FreeRTOS SVN repository.
  ☆43Updated 10 years ago
• gfwilliams / tinycc
  Hacked up version of the Tiny C Compiler with basic ARM Thumb output
  ☆27Updated last year
• LudovicRousseau / libusbx
  A cross-platform user library providing access to USB devices
  ☆27Updated 7 years ago
• uli2k / ulios2
  A Micro Kernel Operating System
  ☆12Updated 5 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• projectara / nuttx
  NuttX with Project Ara bridge ASIC and board support
  ☆32Updated 9 years ago
• MentorEmbedded / meta-openwrt
  OpenWRT core as Yocto layer
  ☆21Updated 7 years ago
• lepton-distribution / lepton
  Automatically exported from code.google.com/p/lepton
  ☆27Updated 6 months ago
• gridnow / GridOS
  Grid Operating system
  ☆55Updated 3 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• tonyrog / uart
  serial com api
  ☆38Updated 4 years ago
• Angstrom-distribution / setup-scripts
  Helper scripts for setting an Angstrom development environment
  ☆85Updated 4 years ago
• olibc / olibc
  Another C Library optimized for Embedded Linux
  ☆61Updated 11 years ago
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• linux-sunxi / mali-400-kernel-drivers
  Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.
  ☆24Updated 12 years ago
• WildDogTeam / wilddog-client-c
  Wilddog C/嵌入式SDK源码
  ☆22Updated 8 years ago
• tass-belgium / picotcp-bsd
  BSD POSIX-compliant socket support for PicoTCP running on any OS.
  ☆22Updated 7 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• CenoOS / CenoOS-IOT
  CenoOS is a real time operating system for IOT devices from cenocloud.
  ☆18Updated 6 years ago
• cloudwu / manualgc
  Automatically exported from code.google.com/p/manualgc
  ☆17Updated 10 years ago
• hno / allwinner-boot
  Allwinner bootloader for A31/A20 (old)
  ☆29Updated 10 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 10 years ago