Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
☆191Feb 5, 2025Updated last year
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Full build for the entire system☆26Jan 18, 2025Updated last year
- an opensource operating system made for fun☆215Updated this week
- An experimental (mostly vibe-coded) capability-based microkernel operating system.☆16Jun 14, 2026Updated last month
- Minos is a mini operating system written in C☆180Apr 12, 2026Updated 3 months ago
- Mirror of my from-scratch x86_64 UNIX-like OS.☆401Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Primitive x86 32bit Operating System with FAT32 File System and a Kernel☆11Aug 30, 2021Updated 4 years ago
- Decent kernel I'm making☆23Jan 1, 2026Updated 7 months ago
- A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be educational and experimental while…☆447May 5, 2026Updated 3 months ago
- Simple and portable vim like editor written in C☆13Sep 3, 2025Updated 11 months ago
- Lock-free buddy allocator based on binary heap☆14Mar 3, 2025Updated last year
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆338Jun 28, 2026Updated last month
- A from-scratch operating system capable of running a variety of ports☆147Jul 31, 2026Updated last week
- 💾 Amd64 operating system in C. Trying to make a full OS, with a simple and readable codebase!☆727Jun 13, 2026Updated last month
- Mirror of banan-os, my hobby operating system☆690Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A WIP custom built OS☆33Dec 29, 2025Updated 7 months ago
- An x86_64 OS kernel from scratch.☆154Sep 18, 2024Updated last year
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆79Jul 2, 2026Updated last month
- Starting template for https://react-book.melange.re☆10Jun 25, 2024Updated 2 years ago
- Rust Memory Hypervisor implementing asynchronous metadata offloading, hardware-enforced spatial safety, and virtual memory page compactio…☆14Apr 2, 2026Updated 4 months ago
- A Hobby OS intended to be fully POSIX compliant and to some extent Linux compatible.☆18Jan 25, 2025Updated last year
- Modular Unix-like 64-bit kernel☆371Updated this week
- ☆29Jul 27, 2026Updated 2 weeks ago
- An x64 HobbyOS programmed in C++.☆19Jul 18, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- x86-64 Operating System☆593Updated this week
- A 64 bits open source OS made from scratch☆46Updated this week
- 🐝 $PATH manager for bash, zsh & fish. Featuring shining TUI!☆10Oct 19, 2022Updated 3 years ago
- Subroutines which implement RISC-V multiplication, division, base conversion, square root, and other integer algorithms☆22Jul 7, 2026Updated last month
- parse device tree blobs☆18Apr 16, 2026Updated 3 months ago
- Tiny and portable device tree parser, written in C.☆22Jan 27, 2025Updated last year
- 32bit OS☆12Nov 29, 2018Updated 7 years ago
- A simple UNIX-LIKE kernel☆57Dec 1, 2024Updated last year
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,961Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Monolithic kernel, drivers and support libraries for x86_64 and m68k.☆102Updated this week
- A UNIX-like kernel for the i386 architecture☆679Updated this week
- A L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- A chaotic lightweight operating system☆24Jul 2, 2026Updated last month
- Portable DRM-compatible device drivers for GPUs☆22Jan 16, 2025Updated last year
- A portable microkernel-based multiserver operating system written from scratch.☆1,577Jul 9, 2026Updated last month
- Hobby x86-64 OS using Limine bootloader☆24Mar 30, 2023Updated 3 years ago