kuroko-lang / kuroko-efi
Kuroko built to run on UEFI.
☆10Updated 6 months ago
Alternatives and similar repositories for kuroko-efi:
Users that are interested in kuroko-efi are comparing it to the libraries listed below
- Implementation of the VMem Resource Allocator☆16Updated 2 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆28Updated 6 months ago
- Tiny libubsan implementation for hobby kernels☆31Updated 3 years ago
- ☆18Updated last year
- A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)☆15Updated 2 years ago
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆27Updated 2 months ago
- linux distro but with jinx or something☆17Updated 11 months ago
- Tiny public domain EFI library☆13Updated 2 years ago
- Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms☆14Updated 3 years ago
- POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes☆13Updated 4 years ago
- An x86_64 operating system☆20Updated 3 years ago
- Build system for OS distributions☆63Updated 2 weeks ago
- The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power☆13Updated 4 months ago
- The mighty 64-bit kernel☆35Updated 5 months ago
- Kaos Operating System 400☆24Updated 2 months ago
- Obsidian is a simple operating system kernel written in C++.☆13Updated 3 years ago
- GNU-EFI fork with fixes and improvements.☆31Updated 3 weeks ago
- 64 bit bootloader for Cyjon operating system.☆13Updated 3 years ago
- Precompiled binaries of the libgcc GCC/clang runtime support library.☆10Updated last month
- 😎 C standard library☆20Updated 8 months ago
- Operating system in C written for fun and glory☆34Updated 3 years ago
- Tiny and portable device tree parser, written in C.☆16Updated 2 months ago
- A 64-bit operating system kernel for PCs☆9Updated 4 years ago
- hobby OS unix-clone☆38Updated 7 months ago
- A toy terminal emulator using SDL and the standalone Limine terminal☆12Updated 2 years ago
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆43Updated last week
- Legacy BIOS firmware for emulators☆19Updated 3 years ago
- A work-in-progress hobby operating system.☆20Updated 4 years ago
- Hobby operating system for amd64 with high ambitions - mirror☆43Updated 2 months ago
- Wine on steroids☆13Updated 2 years ago