alexeyk13 / rexos
RExOS - Realtime Exokernel Operating System
☆100Updated last year
Alternatives and similar repositories for rexos:
Users that are interested in rexos are comparing it to the libraries listed below
- FAT12/16/32 Bootsector for .COMs/.EXEs☆98Updated last year
- nebulae kernel - stage 0 uefi barebones☆34Updated last year
- A lightweight implementation of the fat32 filesystem specification in C for embedded systems.☆102Updated 4 years ago
- ELF to bFLT (binary flat) converter for no-mmu Linux targets☆75Updated 5 months ago
- An x86 real mode multiboot-ish ELF bootloader☆26Updated 6 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- rpi-internal-registers☆41Updated 5 years ago
- Pedigree operating system☆89Updated 8 years ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆140Updated 4 years ago
- Small C library for microcontrollers. Code is based on klibc.☆104Updated 3 years ago
- This implementation of file system is developed by ELM Chan☆14Updated 9 months ago
- A bare-bones minimal executable application for efi on the x64 platform☆52Updated last year
- pico]OS realtime operating system☆61Updated 3 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Operating System☆132Updated 2 years ago
- Using TinyCC to compile Linux kernels☆63Updated 8 years ago
- x86 emulation library☆148Updated 9 months ago
- ☆31Updated 6 months ago
- My gnu-efi development tree.☆72Updated 5 months ago
- A guide to hobbyist operating systems☆56Updated 6 years ago
- x86 Kernel Project☆31Updated 10 months ago
- My coreboot work☆23Updated 14 years ago
- Serial terminal as a PC BIOS extension☆17Updated 6 years ago
- Experimental x86_64 kernel project. Planned eventual successor to the kernel in ToaruOS. WIP☆82Updated 3 years ago
- Auxiliary library for kernel development☆30Updated 2 years ago
- The eChronos real-time operating system☆173Updated 5 years ago
- This is a FAT16 driver.☆13Updated 9 months ago
- bare metal ARM examples to be run with qemu-system-arm☆70Updated 6 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆195Updated last year
- IBM AT 80286 BIOS☆126Updated 10 years ago