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
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- OS development...☆46Updated last year
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Updated 5 years ago
- A simple hobby operating system for the x86-64 architecture☆70Updated 4 years ago
- An operating system project.☆54Updated 2 years ago
- Koi Operating System, Senior Mastery Capstone Project 2020☆24Updated 5 years ago
- Operating System☆132Updated 2 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 5 years ago
- Rainbow OS☆57Updated 2 months ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 8 months ago
- A 64bit tomato kernel☆69Updated 4 years ago
- A toy x86-64 kernel.☆52Updated 9 years ago
- The Pedigree Operating System☆52Updated last year
- An x86 OS written from scratch in C☆36Updated 7 years ago
- Lightweight Intel gpu Library☆48Updated 6 months ago
- Kay-OS Operating System 400☆24Updated this week
- A hobby operating system☆103Updated 3 months ago
- 64 bit bootloader for Cyjon operating system.☆13Updated 4 years ago
- A work-in-progress hobby operating system.☆20Updated 5 years ago
- A kernel made with love, and lots of D.☆20Updated 3 years ago
- A UEFI 64bit Bootloader☆148Updated 4 years ago
- A sweet hobby made operating system written in C++ for x86 CPUs with GUI☆46Updated 2 years ago
- UNIX-like operating system written in C and C++☆91Updated 2 weeks ago
- A concurrent-focused message-based operating system.☆93Updated 2 weeks ago
- Keeley's - Operating System (K-OS)☆17Updated 4 years ago
- ☆90Updated 3 years ago
- Moved to:☆12Updated 5 years ago
- This is the repository for the AQUA 2.X x86 kernel☆6Updated 7 years ago
- ☆34Updated 6 months ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago