rpjohnst / kernelLinks
Capability-based exokernel for x86_64
☆22Updated 9 years ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Updated 5 years ago
- Operating System☆135Updated 3 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated last year
- An operating system project.☆54Updated 3 years ago
- A toy x86-64 kernel.☆54Updated 10 years ago
- Keeley's - Operating System (K-OS)☆18Updated 4 years ago
- A 64bit tomato kernel☆68Updated 4 years ago
- Moved to:☆12Updated 6 years ago
- OS development...☆46Updated 2 years ago
- x86_64 OS Reference in C and Assembly☆27Updated 2 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆42Updated 5 years ago
- x86-64 assembly µkernel☆17Updated 5 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Updated 5 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 10 years ago
- x86 Kernel Project☆36Updated last year
- A concurrent-focused message-based operating system.☆95Updated 3 weeks ago
- The Pedigree Operating System☆53Updated 2 years ago
- A very simple operating system in C for UEFI-enabled x86-64 systems☆20Updated 2 weeks ago
- A minimal bare bones operating system based on a monolithic kernel design written purely in Assembly language☆24Updated 6 years ago
- ☆34Updated last year
- hobby OS unix-clone☆39Updated last year
- Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …☆43Updated this week
- a 64 bit x86 operating system☆17Updated 4 years ago
- 64 bit bootloader for Cyjon operating system.☆14Updated 4 years ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆42Updated 3 years ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆33Updated 13 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 8 years ago
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆18Updated 4 months ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 9 years ago
- Acess2 Hobby Operating System☆91Updated 2 years ago