davidebriani / microkernelLinks
A personal x86 kernel - Dead, I'll write it down again from scratch.
☆29Updated 7 years ago
Alternatives and similar repositories for microkernel
Users that are interested in microkernel are comparing it to the libraries listed below
Sorting:
- Modular kernel built for simplicity☆93Updated 8 years ago
- an experimental 64-bit operating system☆136Updated 8 months ago
- Operating System☆132Updated 3 years ago
- A hobby operating system for x86_64, boots with UEFI.☆70Updated last year
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆34Updated 12 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 8 years ago
- Minimal C Library☆77Updated 7 years ago
- Acess2 Hobby Operating System☆87Updated last year
- Rabbit VM.☆107Updated 6 years ago
- Fedjmike's C Compiler☆134Updated 7 years ago
- Stack based Virtual Machine and JIT compiler built during the Programming Language Masterclass☆61Updated 11 years ago
- The Pedigree Operating System☆52Updated 2 years ago
- A simple Unix-like kernel trying to be POSIX compliant☆135Updated last year
- Operating system project☆33Updated 4 months ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 9 months ago
- A concurrent-focused message-based operating system.☆95Updated this week
- A UNIX-like operating system with an emphasis on simplicity☆38Updated 5 years ago
- My own C library. Probably don't use it.☆34Updated 5 years ago
- ☆16Updated 4 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Updated last month
- A 64bit tomato kernel☆69Updated 4 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 9 years ago
- A minimalist IP stack written in ANSI C.☆53Updated last month
- A simple hobby operating system for the x86-64 architecture☆72Updated 4 years ago
- A small arm/x86(-64) C compiler☆171Updated 2 years ago
- Pedigree operating system☆91Updated 9 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆41Updated 4 years ago
- x86 Kernel Project☆36Updated last year
- 💻⚙ Xelix is a hobby Unix-like kernel with GNU userland for x86☆64Updated last year
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago