roscopeco / mink
A minimal experimental microkernel
☆22Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for mink
- Operating System☆132Updated 2 years ago
- The Pedigree Operating System☆51Updated last year
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆64Updated 7 years ago
- My gnu-efi development tree.☆70Updated 3 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
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- A simple bootloader for linux kernel☆23Updated 10 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Acess2 Hobby Operating System☆84Updated last year
- A small monolithic kernel OS. Rough around the edges, and still contains bits of code in the early startup stages taken from the OSDev wi…☆16Updated 3 years ago
- Operating system project☆34Updated 6 months ago
- Modular kernel built for simplicity☆90Updated 7 years ago
- ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project☆35Updated 6 years ago
- UEFI boot loader☆78Updated 2 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Rainbow OS☆56Updated 2 months ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 3 months ago
- Hello RISC-V 64!☆17Updated 6 years ago
- UNIX-like operating system written in C and C++☆85Updated this week
- A toy x86-64 kernel.☆52Updated 9 years ago
- Pedigree operating system☆89Updated 8 years ago
- Utility for accessing a disk formatted with BMFS☆50Updated this week
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆58Updated 3 years ago
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆75Updated 2 weeks ago
- Build UEFI applications with the Clang compiler and LLD linker.☆56Updated 7 months ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆63Updated 3 years ago
- Shell script to build gcc for various architectures☆79Updated 3 months ago
- An x86 OS written from scratch in C☆33Updated 6 years ago