rpjohnst / kernel
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
- x86 Kernel Project☆31Updated 10 months ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- A 64bit tomato kernel☆69Updated 4 years ago
- Operating System☆132Updated 2 years ago
- OS development...☆46Updated last year
- Moved to:☆12Updated 5 years ago
- A hobby operating system☆102Updated last week
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆18Updated 4 years ago
- The Pedigree Operating System☆52Updated last year
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- Operating system project☆33Updated 9 months ago
- A toy x86-64 kernel.☆52Updated 9 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆75Updated 3 months ago
- Modular kernel built for simplicity☆90Updated 7 years ago
- ☆58Updated 2 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆42Updated 4 years ago
- 64 bit bootloader for Cyjon operating system.☆13Updated 3 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- A concurrent-focused message-based operating system.☆93Updated 3 weeks ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆64Updated 7 years ago
- An operating system project.☆54Updated 2 years ago
- ☆88Updated 2 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 4 years ago
- A hobby operating system for x86_64, boots with UEFI.☆68Updated 5 months ago
- UNIX-like operating system written in C and C++☆87Updated this week
- Keeley's - Operating System (K-OS)☆16Updated 3 years ago
- 🎨 An ansi escape code parser and renderer for hobby operating systems☆44Updated 3 years ago
- Rainbow OS☆57Updated this week
- 32 bit singletasking C kernel☆65Updated 2 years ago
- An operating system.☆29Updated 7 years ago