kiznit / uefi-headers
UEFI headers
☆17Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for uefi-headers
- LAI is an interpreter for AML, the ACPI Machine Language.☆175Updated 8 months ago
- My gnu-efi development tree.☆70Updated 3 months ago
- Rainbow OS☆56Updated 2 months ago
- Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …☆38Updated last year
- liballoc - a memory allocator for hobbyist operating systems☆188Updated 3 years ago
- An Operating System made in my spare time.☆7Updated last year
- Operating system project☆34Updated 7 months ago
- Operating System☆132Updated 2 years ago
- The Pedigree Operating System☆51Updated last year
- A hobby operating system for x86_64, boots with UEFI.☆68Updated 3 months ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 9 years ago
- Build UEFI applications with the Clang compiler and LLD linker.☆56Updated 7 months ago
- x86-64 UEFI operating system with the goal of eliminating command lines☆27Updated 3 years ago
- Patches and build scripts to build a managarm distribution☆36Updated this week
- Lightweight Intel gpu Library☆47Updated last month
- Moved to:☆12Updated 5 years ago
- An operating system project.☆54Updated 2 years ago
- A work-in-progress hobby operating system.☆19Updated 4 years ago
- 32 bit singletasking C kernel☆64Updated 2 years ago
- (Inactive, Was a 15 year old child's attempt at making an OS. Checkout AvanaOS, Rewrite of this) This is a New Operating System (Kernel r…☆28Updated 3 years ago
- A Type-1 Hypervisor written in Modern C++☆40Updated last year
- Example/template hello world using Nyu-EFI.☆21Updated this week
- 64 bit bootloader for Cyjon operating system.☆14Updated 3 years ago
- A simple hobby operating system for the x86-64 architecture☆65Updated 3 years ago
- Kernel for my operating system KoraOS☆17Updated 3 months ago
- A hobby OS written in assembly (nasm) and C. Small, realistic goals.☆55Updated 7 years ago
- uefi bootloader for x86 and x64☆8Updated 2 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆64Updated 7 years ago