rpjohnst / kernelLinks
Capability-based exokernel for x86_64
☆22Updated 8 years ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- A toy x86-64 kernel.☆51Updated 10 years ago
- x86 Kernel Project☆32Updated last year
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Updated 5 years ago
- Operating System☆133Updated 3 years ago
- A simple hobby operating system for the x86-64 architecture☆72Updated 4 years ago
- A 64bit tomato kernel☆69Updated 4 years ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- Keeley's - Operating System (K-OS)☆17Updated 4 years ago
- Moved to:☆12Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- Operating system project☆33Updated last month
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Updated 5 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 7 months ago
- An operating system project.☆54Updated 2 years ago
- The Pedigree Operating System☆52Updated 2 years ago
- A concurrent-focused message-based operating system.☆94Updated last month
- ☆59Updated 3 years ago
- An operating system.☆29Updated 7 years ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 10 months ago
- Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …☆38Updated last month
- x86_64 OS Reference in C and Assembly☆27Updated last year
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago
- Pedigree operating system☆90Updated 9 years ago
- This is the repository for the AQUA 2.X x86 kernel☆6Updated 7 years ago
- A bare-bones minimal executable application for efi on the x64 platform☆55Updated 2 years ago
- My attempts at developing an operating system kernel.☆11Updated 10 years ago
- Modular kernel built for simplicity☆92Updated 7 years ago
- UNIX-like operating system written in C and C++☆91Updated last week
- A hobby operating system☆103Updated last week