alexeyk13 / rexos

Related projects: ⓘ

• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆58Updated 3 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆77Updated last month
• wbx-github / uclibc-ng
  Embedded C Library (mirror)
  ☆126Updated last month
• uclinux-dev / elf2flt
  ELF to bFLT (binary flat) converter for no-mmu Linux targets
  ☆74Updated 3 weeks ago
• mfleming / efilinux
  UEFI boot loader
  ☆78Updated 2 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• seL4 / util_libs
  ☆54Updated 2 months ago
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆71Updated last month
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆37Updated 5 years ago
• wfeldt / libx86emu
  x86 emulation library
  ☆139Updated 4 months ago
• sifive / freedom-devicetree-tools
  A linker script generator for SiFive's Freedom platform
  ☆32Updated 2 years ago
• cjsmeele / stoomboot
  An x86 real mode multiboot-ish ELF bootloader
  ☆26Updated 5 years ago
• owenson / tiny-linux-bootloader
  A single sector Linux bootloader that can handle initrd
  ☆68Updated last year
• alexfru / BootProg
  FAT12/16/32 Bootsector for .COMs/.EXEs
  ☆93Updated last year
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 9 years ago
• ryansturmer / thinfat32
  A lightweight implementation of the fat32 filesystem specification in C for embedded systems.
  ☆101Updated 4 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆47Updated 2 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆56Updated 5 years ago
• MutexUnlocked / exoberry
  An exokernel for the raspberry pi 3.
  ☆79Updated 2 years ago
• nebulaeonline / nebulae
  nebulae kernel - stage 0 uefi barebones
  ☆33Updated 9 months ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆42Updated 5 years ago
• wt / coreboot
  My coreboot work
  ☆22Updated 13 years ago
• seL4 / musllibc
  ☆24Updated 2 months ago
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆29Updated last year
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆131Updated 6 years ago
• metta-systems / metta
  Metta OS
  ☆69Updated 4 years ago
• scanlime / metalkit
  ☆142Updated this week
• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago