Alternatives and similar repositories for hellfireos

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

• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated last month
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated last week
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• RTEMS / rtems-source-builder
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder
  ☆39Updated last week
• RTEMS / rtems-docs
  Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/
  ☆10Updated 3 weeks ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated 3 months ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated 3 weeks ago
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆30Updated 12 years ago
• real-xinu / xinu-stm32
  Xinu OS for STM32
  ☆23Updated last year
• kaos / ecos
  ☆22Updated 12 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆59Updated 6 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• inaciose / noos
  Allwinner A20 bare metal samples
  ☆10Updated 7 years ago
• littlekernel / newlib
  Fork of newlib
  ☆10Updated 3 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆15Updated 7 years ago
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• yahiafarghaly / PrettyOS
  A Preemptive Hard Real Time kernel for embedded devices.
  ☆51Updated 4 years ago
• bubach / Simple-C
  newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly
  ☆13Updated 10 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 2 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆12Updated 7 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆83Updated 7 years ago
• teeshina / soc_leon3
  System on Chip SPARC V8 using leon3 CPU by Gaisler. C++, vhdl, v files.
  ☆11Updated 12 years ago
• tommythorn / yari
  YARI is a high performance open source FPGA soft-core RISC implementation, binary compatible with MIPS I. The distribution package includ…
  ☆45Updated 6 months ago
• modscleo4 / dos
  Floppy Disk Operating System
  ☆16Updated 11 months ago
• jimix / k42
  K42 Kernel
  ☆27Updated 13 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated this week