roscopeco / minkLinks
A minimal experimental microkernel
☆24Updated last year
Alternatives and similar repositories for mink
Users that are interested in mink are comparing it to the libraries listed below
Sorting:
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- A single sector Linux bootloader that can handle initrd☆72Updated 2 years ago
- Acess2 Hobby Operating System☆88Updated last year
- Modular kernel built for simplicity☆93Updated 8 years ago
- A simple bootloader for linux kernel☆25Updated 11 years ago
- Operating System☆133Updated 3 years ago
- UEFI boot loader☆81Updated 3 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 8 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 9 years ago
- bootOS is a monolithic operating system in 512 bytes of x86 machine code. The docs aren't guaranteed to be up-to-date☆13Updated 4 years ago
- A concurrent-focused message-based operating system.☆94Updated 2 weeks ago
- Multi-architecture hobby operating system created in C☆16Updated 4 months ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Utility for accessing a disk formatted with BMFS☆52Updated 4 months ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- A minimalist IP stack written in ANSI C.☆53Updated 2 months ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Codezero Microkernel☆112Updated 3 years ago
- The Pedigree Operating System☆53Updated 2 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 8 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- A git repository for the bmake releases☆21Updated 3 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- A work in progress!☆44Updated 12 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- x86-64 assembly µkernel☆17Updated 4 years ago
- Metta OS☆71Updated 10 months ago
- K42 Kernel☆30Updated 13 years ago
- A guide to hobbyist operating systems☆60Updated 6 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago