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 boot loader☆79Updated 2 years ago
- The Pedigree Operating System☆52Updated 2 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated 3 weeks ago
- Operating system project☆33Updated 2 months 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
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Pedigree operating system☆90Updated 9 years ago
- My gnu-efi development tree.☆70Updated 4 months ago
- A simple bootloader for linux kernel☆24Updated 11 years ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 10 months ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- Operating System☆133Updated 3 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- Acess2 Hobby Operating System☆86Updated last year
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- Modular kernel built for simplicity☆92Updated 8 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 7 months ago
- A tiny 64 bit kernel written in Rust☆51Updated 9 years ago
- x86 Kernel Project☆33Updated last year
- framework for a simple user space for lk☆23Updated 3 years ago
- Mirror of git.qemu.org/openbios.git☆23Updated 9 months ago
- tachyon - another version☆18Updated 8 months ago
- UNIX-like operating system written in C and C++☆91Updated last week
- Mirror of git.qemu.org/ipxe.git☆18Updated 3 months ago
- A toy x86-64 kernel.☆51Updated 10 years ago
- The next generation Toddler, a well designed usable and portable microkernel OS☆16Updated 4 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago