Alternatives and similar repositories for hellfireos

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

• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated last month
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆27Updated 2 weeks ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆60Updated 6 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated last week
• kernkonzept / libfdt
  The device tree library
  ☆18Updated last week
• 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
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• shikhin / draumr
  Draumr is a 21st century multiprocessing operating system, designed specially for SMP and NUMA.
  ☆10Updated 12 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• alexeyk13 / mkernel
  M-Kernel embedded RTOS
  ☆14Updated 12 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆15Updated 7 years ago
• jamieiles / rpi-gdb
  Raspberry Pi GDB remote serial protocol stub
  ☆40Updated 8 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
• google / dtask
  DTask is a scheduler for statically dependent tasks.
  ☆26Updated 6 years ago
• thomasloven / os5
  My attempts at developing an operating system kernel.
  ☆11Updated 10 years ago
• teeshina / soc_leon3
  System on Chip SPARC V8 using leon3 CPU by Gaisler. C++, vhdl, v files.
  ☆11Updated 12 years ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆34Updated 2 weeks ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆19Updated 3 years ago
• yahiafarghaly / PrettyOS
  A Preemptive Hard Real Time kernel for embedded devices.
  ☆51Updated 4 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated 4 months ago
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• kokke / tiny-lint-c
  A small and simple static analysis tool for C in C
  ☆30Updated 8 months ago