rdmsr / tisix
Tiny and portable microkernel
☆16Updated 3 years ago
Alternatives and similar repositories for tisix:
Users that are interested in tisix are comparing it to the libraries listed below
- Lightweight Intel gpu Library☆48Updated 6 months ago
- xtrix OS repo☆25Updated 2 years ago
- An x86_64 operating system☆20Updated 3 years ago
- Tiny libubsan implementation for hobby kernels☆31Updated 3 years ago
- IDE integrated with qemu☆14Updated 2 years ago
- A small operating system for 32 bit x86☆59Updated 2 years ago
- A new hobby operating system made with velocity in mind :D☆22Updated 2 months ago
- Modern UNIX-like x86_64 operating system and kernel written in C++☆51Updated 2 years ago
- ☆18Updated last year
- The mighty 64-bit kernel☆35Updated 5 months ago
- SCAL/UX, a hobby Unix-like operating system☆19Updated 2 years ago
- Ricerca research kernel project to learn more about SMP, load balancing and NUMA☆10Updated 3 years ago
- A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)☆15Updated 2 years ago
- ☆20Updated 2 years ago
- Lezione Operating System☆10Updated 3 years ago
- hobby OS unix-clone☆38Updated 7 months ago
- A kernel made with love, and lots of D.☆20Updated 3 years ago
- Radical kernel source tree☆50Updated 3 years ago
- Tiny public domain EFI library☆13Updated 2 years ago
- Operating system written in C. Monolithic kernel design.☆27Updated last year
- x86-64 UEFI operating system with the goal of eliminating command lines☆28Updated 3 years ago
- A Simple 64 bits Operiting System☆15Updated 3 years ago
- MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.☆18Updated 3 weeks ago
- A tiny stivale/stivale2 bootloader☆11Updated 3 years ago
- The home of diodeOS, a kernel (and in the future userland) with the goal of not crashing and getting to userland (and also posix complian…☆13Updated 3 years ago
- A simple template for building a Limine-compliant kernel in C++.☆16Updated last week
- A x86_64 hobby OS☆26Updated last year
- if unix was made by a monkey with a typewritter☆16Updated 10 months ago
- A modern x86_64 UNIX-like microkernel-based operating system☆63Updated 2 years ago
- Build system for OS distributions☆63Updated this week