Alternatives and similar repositories for phoenix-rtos-doc

Users that are interested in phoenix-rtos-doc are comparing it to the libraries listed below

• poconoco / buggybug
  3dof hexapod firmware sources (arduino) + remote control sources (android)
  ☆17Updated 9 years ago
• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆29Updated 6 months ago
• alix-gao / os
  operating system
  ☆19Updated 4 years ago
• uli2k / ulios2
  A Micro Kernel Operating System
  ☆12Updated 6 years ago
• MakeOS / GhostBirdOS
  A lightweight, multi-tasking graphical operating system, JUST FOR FUN!
  ☆12Updated 7 years ago
• peterzuger / libc
  C standard library for embedded systems
  ☆12Updated 2 months ago
• Alessandro-Salerno / SalernOS-EFI-Bootloader
  A Bootloader for my Operating System
  ☆10Updated last year
• devdnl / dnx-rtos
  Small UNIX-like Real Time Operating System based on FreeRTOS kernel.
  ☆17Updated 3 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system kernel created in C
  ☆16Updated 6 months ago
• efidroid / uefi_apps_EFIDroidUi
  EDK II EFIDroidUi
  ☆12Updated 8 years ago
• wreczek / Operating-Systems
  ☆10Updated 6 years ago
• alexeyk13 / mkernel
  M-Kernel embedded RTOS
  ☆14Updated 12 years ago
• sjohann81 / hellfireos
  HellfireOS Realtime Operating System
  ☆23Updated 4 years ago
• sugawaray / efiboot
  A tool to execute an elf binary in the UEFI shell environment.
  ☆10Updated 9 years ago
• CenoOS / CenoOS-IOT
  CenoOS is a real time operating system for IOT devices from cenocloud.
  ☆18Updated 6 years ago
• yyu / osfs09
  Operating System From Scratch : learn OS by practice
  ☆12Updated 14 years ago
• VioletGiraffe / UEFI-Bootloader
  A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…
  ☆21Updated 3 years ago
• jarlostensen / josx64
  jOS UEFI bootable 64 bit kernel
  ☆13Updated 3 years ago
• FlowerBlackG / YurongOS
  一个简陋的 x86-64 操作系统。
  ☆13Updated last year
• tanyugang / ToyBoot
  BootLoader for ToyOS, developed under EDK2, support UEFI.
  ☆16Updated last year
• thomasloven / os5
  My attempts at developing an operating system kernel.
  ☆11Updated 10 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• JohnBurger / OSDev-Demo
  Demonstrator for OSDev.org
  ☆13Updated 6 years ago
• RayHuangCN / yatos
  Yet another tiny OS
  ☆17Updated 8 years ago
• yzz127 / osdev
  Writing a x86 operating system from scratch
  ☆11Updated 3 years ago
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 years ago
• stateos / DemOS
  Free, simple, extremely lightweight, stackless, cooperative, co-routine system (OS) for microcontrollers
  ☆18Updated this week
• RoostTech / FemtoOS
  "a very concise portable real time - preemptive operating system"
  ☆25Updated 11 years ago
• hansj66 / automaton-xl320
  Dynamixel controller for AX-12A/W, XL-320 with IMU and BT
  ☆13Updated last year
• Xv64 / OS
  A UNIX-like OS targeting AMD64 compatible processors
  ☆16Updated 3 years ago