rdmsr / tinyefi
Tiny public domain EFI library
☆13Updated 2 years ago
Alternatives and similar repositories for tinyefi:
Users that are interested in tinyefi are comparing it to the libraries listed below
- Implementation of the VMem Resource Allocator☆16Updated 2 years ago
- linux distro but with jinx or something☆18Updated this week
- ☆34Updated 6 months ago
- Tiny libubsan implementation for hobby kernels☆32Updated 3 years ago
- The mighty 64-bit kernel☆35Updated 6 months ago
- ☆28Updated 3 weeks ago
- 😎 C standard library☆20Updated 9 months ago
- Tiny POSIX-like hobby OS written in C☆18Updated last year
- SCAL/UX, a hobby Unix-like operating system☆19Updated 2 years ago
- Tiny and portable microkernel☆16Updated 3 years ago
- ☆18Updated last year
- Lightweight Intel gpu Library☆48Updated 6 months ago
- A new hobby operating system made with velocity in mind :D☆22Updated 2 months ago
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆54Updated this week
- XR/station emulator written in C with SDL.☆34Updated last month
- ☆20Updated 2 years ago
- The Keyronex Operating System☆78Updated 2 months ago
- FennecOS - a small 32-bit x86 operating system☆36Updated 2 weeks ago
- ☆20Updated 2 weeks ago
- Ricerca research kernel project to learn more about SMP, load balancing and NUMA☆10Updated 3 years ago
- Stable, flexible and very simple in use OS, which doesn't restrict you☆27Updated 3 months ago
- hobby OS unix-clone☆38Updated 8 months ago
- xtrix OS repo☆25Updated 2 years ago
- IDE integrated with qemu☆14Updated 2 years ago
- Operating system written in C. Monolithic kernel design.☆27Updated last year
- Modular 64-bit kernel written in Rust☆35Updated this week
- Moved to codeberg: https://codeberg.org/osdev/libgcc-binaries☆10Updated 3 weeks ago
- Wine on steroids☆13Updated 2 years ago
- POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes☆13Updated 4 years ago
- A work-in-progress hobby operating system.☆20Updated 5 years ago