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:
- The Pedigree Operating System☆52Updated 2 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
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- UEFI boot loader☆79Updated 2 years ago
- Modular kernel built for simplicity☆93Updated 7 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago
- Shell script to build gcc for various architectures☆80Updated last month
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 9 months ago
- Operating System☆133Updated 3 years ago
- A simple bootloader for linux kernel☆24Updated 11 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Acess2 Hobby Operating System☆86Updated last year
- Operating system project☆33Updated last month
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- Pedigree operating system☆90Updated 9 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 7 months ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆44Updated 4 years ago
- An x86 OS written from scratch in C☆36Updated 7 years ago
- My gnu-efi development tree.☆72Updated 3 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A single sector Linux bootloader that can handle initrd☆71Updated 2 years ago
- A concurrent-focused message-based operating system.☆94Updated last month
- Utility for accessing a disk formatted with BMFS☆53Updated last week
- A personal x86 kernel - Dead, I'll write it down again from scratch.☆29Updated 7 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- mini x86 Operating System <= 256KB☆28Updated 9 months ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year