owenson / tiny-linux-bootloader
A single sector Linux bootloader that can handle initrd
☆71Updated 2 years ago
Alternatives and similar repositories for tiny-linux-bootloader:
Users that are interested in tiny-linux-bootloader are comparing it to the libraries listed below
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- My gnu-efi development tree.☆72Updated last month
- Operating System☆132Updated 2 years ago
- A small X server, based on Xorg 1.2 but with security fixes.☆96Updated 9 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆75Updated 4 months ago
- ☆58Updated 2 years ago
- UEFI boot loader☆79Updated 2 years ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆142Updated 4 years ago
- Acess2 Hobby Operating System☆85Updated last year
- Minimal Linux Bootloader, adapted/adopted from Sebastian Plotz☆30Updated 10 years ago
- Build UEFI applications with the Clang compiler and LLD linker.☆58Updated 11 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆85Updated 7 years ago
- Modular kernel built for simplicity☆91Updated 7 years ago
- Vanadium OS☆110Updated 7 years ago
- small static userspace tools for Linux☆179Updated 2 months ago
- NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.☆69Updated 6 years ago
- A Linux system which is just barely capable of building itself.☆121Updated 5 years ago
- linux kernel headers (sanitized for use with musl)☆95Updated last year
- 💻⚙ Xelix is a hobby Unix-like kernel with GNU userland for x86☆63Updated last year
- Tiny ELF loader☆132Updated 2 years ago
- Tetris for x86 in bad C. Succeeded by Tetrasm.☆62Updated 9 years ago
- Small C library for microcontrollers. Code is based on klibc.☆112Updated 3 years ago
- Shell script to build gcc for various architectures☆79Updated 7 months ago
- A minimal experimental microkernel☆24Updated 10 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- OpenMach operating system☆85Updated 10 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 7 months ago
- FAT12/16/32 Bootsector for .COMs/.EXEs☆101Updated last year
- Akaros Operating System☆316Updated 3 years ago