rdmsr / tinyefi
Tiny public domain EFI library
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for tinyefi
- Implementation of the VMem Resource Allocator☆16Updated last year
- 😎 C standard library☆19Updated 4 months ago
- linux distro but with jinx or something☆15Updated 7 months ago
- ☆20Updated 2 years ago
- The NanoShell64 Operating System - an x86_64 SMP aware OS. Abandoned as of August 20th, 2023, see below link.☆15Updated last year
- ☆12Updated last week
- A new hobby operating system made with velocity in mind :D☆21Updated last year
- ☆33Updated last month
- The mighty 64-bit kernel☆35Updated last month
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆41Updated last month
- Tiny and portable microkernel☆16Updated 2 years ago
- Tiny libubsan implementation for hobby kernels☆31Updated 2 years ago
- Fast and reasonably complete (framebuffer) terminal emulator.☆84Updated 3 weeks ago
- SCAL/UX, a hobby Unix-like operating system☆18Updated 2 years ago
- XR/station emulator written in C with SDL.☆31Updated 3 weeks ago
- ☆28Updated last month
- Tiny POSIX-like hobby OS written in C☆17Updated 11 months ago
- 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 last year
- ☆18Updated 11 months ago
- Gallium Operating System☆13Updated 5 months ago
- IDE integrated with qemu☆14Updated 2 years ago
- The Keyronex Operating System☆77Updated last month
- A very extendable and versatile hybrid kernel.☆30Updated 4 months ago
- xtrix OS repo☆26Updated 2 years ago
- Simple OS with memory protection.☆11Updated 2 months ago
- Operating system written in C. Monolithic kernel design.