Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
☆190Feb 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
- My hobby OS kernel☆69Oct 20, 2024Updated last year
- An experimental (mostly vibe-coded) capability-based microkernel operating system.☆15Jun 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.☆397Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- an opensource operating system made for fun☆194Updated this week
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆330Jun 28, 2026Updated 3 weeks ago
- Primitive x86 32bit Operating System with FAT32 File System and a Kernel☆11Aug 30, 2021Updated 4 years ago
- A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be educational and experimental while…☆446May 5, 2026Updated 2 months ago
- Simple and portable vim like editor written in C☆13Sep 3, 2025Updated 10 months ago
- Lock-free buddy allocator based on binary heap☆14Mar 3, 2025Updated last year
- A from-scratch operating system attempting to make a full user experience.☆141Updated this week
- 💾 Amd64 operating system in C. Trying to make a full OS, with a simple and readable codebase!☆720Jun 13, 2026Updated last month
- Mirror of banan-os, my hobby operating system☆686Jul 8, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆77Jul 2, 2026Updated 2 weeks ago
- NT-like operating system☆10Jul 30, 2025Updated 11 months ago
- Rust Memory Hypervisor implementing asynchronous metadata offloading, hardware-enforced spatial safety, and virtual memory page compactio…☆15Apr 2, 2026Updated 3 months ago
- Modular Unix-like 64-bit kernel☆366Updated this week
- ☆29Jan 17, 2026Updated 6 months ago
- x86-64 Operating System☆565Updated this week
- An x64 HobbyOS programmed in C++.☆19Updated this week
- A Hobby OS intended to be fully POSIX compliant and to some extent Linux compatible.☆18Jan 25, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🐝 $PATH manager for bash, zsh & fish. Featuring shining TUI!☆11Oct 19, 2022Updated 3 years ago
- A 64 bits open source OS made from scratch☆45Updated this week
- Subroutines which implement RISC-V multiplication, division, base conversion, square root, and other integer algorithms☆22Jul 7, 2026Updated last week
- This work Replicated the paper "Segmentation Convolutional Neural Networks for Automatic Crater Detection on Mars"☆11Dec 16, 2022Updated 3 years ago
- 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,955Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Monolithic kernel, drivers and support libraries for x86_64 and m68k.☆100Jul 14, 2026Updated last week
- A UNIX-like kernel for the i386 architecture☆673Jun 30, 2026Updated 2 weeks ago
- A L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- A chaotic lightweight operating system☆24Jul 2, 2026Updated 2 weeks ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,573Jul 9, 2026Updated last week
- Portable DRM-compatible device drivers for GPUs☆22Jan 16, 2025Updated last year
- Hobby x86-64 OS using Limine bootloader☆24Mar 30, 2023Updated 3 years ago