roscopeco / mink
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
- The Pedigree Operating System☆52Updated last year
- uefi app/bootloader development sandbox☆15Updated 9 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
- Pedigree operating system☆90Updated 8 years ago
- Modular kernel built for simplicity☆91Updated 7 years ago
- A simple bootloader for linux kernel☆23Updated 11 years ago
- Operating system project☆33Updated 2 months ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- UEFI boot loader☆79Updated 2 years ago
- A modular POSIX-like operating system created for educational purposes☆19Updated 7 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆65Updated 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
- A tiny 64 bit kernel written in Rust☆51Updated 9 years ago
- Acess2 Hobby Operating System☆85Updated last year
- Hello RISC-V 64!☆17Updated 7 years ago
- Operating System☆132Updated 2 years ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 8 months ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆66Updated 4 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- My gnu-efi development tree.☆72Updated 2 months ago
- Multi-architecture hobby operating system created in C☆16Updated last month
- Moved to codeberg: https://codeberg.org/osdev/nyu-efi☆31Updated 3 weeks ago
- ☆16Updated 4 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆43Updated 4 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated last week
- K42 Kernel☆27Updated 12 years ago