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:
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A single sector Linux bootloader that can handle initrd☆72Updated 2 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- UEFI boot loader☆80Updated 2 years ago
- Acess2 Hobby Operating System☆87Updated last year
- Modular kernel built for simplicity☆93Updated 8 years ago
- A simple bootloader for linux kernel☆24Updated 11 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Operating System☆132Updated 3 years ago
- A tiny 64 bit kernel written in Rust☆51Updated 9 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 8 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated 2 months ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago
- x86-64 assembly µkernel☆17Updated 4 years ago
- The Pedigree Operating System☆52Updated 2 years ago
- Metta OS☆70Updated 9 months ago
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- tachyon - another version☆18Updated 10 months ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 9 months ago
- Collection of community-maintained components for Genode☆47Updated 2 weeks ago
- A UNIX-like operating system with an emphasis on simplicity☆38Updated 5 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …☆30Updated 9 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- A guide to hobbyist operating systems☆60Updated 6 years ago
- A concurrent-focused message-based operating system.☆95Updated last week
- The Puppy Operating System☆26Updated 6 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Updated 2 weeks ago