Alternatives and similar repositories for rexos:

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

• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆79Updated 7 months ago
• bisqwit / tinyprintf
  printf replacement for embedded programming
  ☆51Updated 7 years ago
• seL4 / util_libs
  ☆59Updated this week
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆39Updated 6 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• cjsmeele / stoomboot
  An x86 real mode multiboot-ish ELF bootloader
  ☆25Updated 6 years ago
• AndreVallestero / minimal-efi
  A bare-bones minimal executable application for efi on the x64 platform
  ☆55Updated last year
• nebulaeonline / nebulae
  nebulae kernel - stage 0 uefi barebones
  ☆35Updated last year
• PetteriAimonen / Baselibc
  Small C library for microcontrollers. Code is based on klibc.
  ☆112Updated 3 years ago
• alexfru / BootProg
  FAT12/16/32 Bootsector for .COMs/.EXEs
  ☆101Updated last year
• Supercip971 / pico-emu
  a little hobby raspberry pi pico emulator
  ☆38Updated 2 years ago
• wfeldt / libx86emu
  x86 emulation library
  ☆150Updated last month
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆69Updated 6 years ago
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆31Updated 2 weeks ago
• seyko2 / tccboot
  Using TinyCC to compile Linux kernels
  ☆64Updated 8 years ago
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• MIPS / meos
  ☆12Updated 6 years ago
• owenson / tiny-linux-bootloader
  A single sector Linux bootloader that can handle initrd
  ☆71Updated 2 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆48Updated 2 years ago
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆72Updated last month
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆58Updated 6 years ago
• uclinux-dev / elf2flt
  ELF to bFLT (binary flat) converter for no-mmu Linux targets
  ☆78Updated 7 months ago
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 4 years ago
• managarm / libasync
  Async primitives library for C++20
  ☆18Updated 2 months ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• shawnanastasio / ShawnOS
  A Basic x86 Operating System/Kernel
  ☆47Updated 6 years ago
• primis / Apollo
  x86 Kernel Project
  ☆32Updated last year
• osdev0 / wiki
  Modern OS Development wiki.
  ☆62Updated last year
• francois-berder / fat16
  This is a FAT16 driver.
  ☆13Updated 11 months ago