Dev tools · alternatives · 2026
24 alternatives to A Microkernel OS for Armv8
Minos2 is a micro-kernel OS. Contribute to minosproject/minos2 development by creating an account on GitHub.
A Microkernel OS for Armv8 is an operating system designed for ARM architecture processors. It uses a microkernel design, which keeps the core system small and modular. The project is open-source and available on… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. A Microkernel OS for Armv8 launched in 2021; newer entries below may have overtaken it.
- 1
I pretty much always have a kernel project going on, and have been that way for decades. Over the past couple of years, that's been Anos, which has gotten further along than any of my previous hobby kernels, supporting IPC, multitasking, SMP (x86-64 only right now) and running on real hardware. LLMs (mostly Claude Code) have been used during development, but I learned early on that it's not _great_ at code at this level, so I've restricted its use to mostly documentation and tests. There's _a little_ AI code in the user space, but I have a strict "no AI code" rule in the kernel itself. I…
Apr 2026 · github.com · its alternatives →
- 2
This project contains no code from Linux, BSD, Minix, or any other OS. Everything up until this point is written entirely from scratch, including a pure microkernel (that only implements multiprocessor priority scheduling, memory management, and interprocess communication), a work-in-progress implementation of the standard C library, and a variety of servers that provide drivers and other essential OS functionality. At the time of writing this post, the servers provide drivers for the keyboard, NVMe SSDs (that works on real hardware), a Unix-like virtual file system (with a single root…
2024 · github.com · its alternatives →
- 3MO
2016 · minocacorp.com · its alternatives →
- 4
Micro Kernel / Bootloader for Ben Eater's 6502 Computer - janroesner/sixty5o2
2020 · github.com · its alternatives →
- 5
Contribute to cmc-labo/tinyos-rtos development by creating an account on GitHub.
Apr 2026 · github.com · its alternatives →
- 6
An application innovation platform delivering a comprehensive experience with tools to empower organizations to modernize and build new applications, accelerate AI adoption, and fuel growth.
2013 · coreos.com · its alternatives →
- 7
A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment. - amaneureka/AtomOS
2017 · github.com · its alternatives →
- 8
The operating system for smart frames. Runs on a Raspberry Pi or ESP32, renders on e-ink, HDMI and LCD displays. Standalone, self-hosted, or managed from FrameOS Cloud - everything renders on the device.
2024 · frameos.net · its alternatives →
- 9
Userspace macOS translation layer for Linux ARM64. Contribute to wie-project/kakehashi development by creating an account on GitHub.
Aug 2026 · github.com · its alternatives →
- 10
Hello HN! Showing off the first version of Munal OS, an experimental operating system I have been writing in Rust on and off for the past few years. https://github.com/Askannz/munal-os It's an unikernel design that is compiled as a single EFI binary and does not use virtual address spaces for process isolation. Instead, applications are compiled to WASM and run inside of an embedded WASM engine. Other features: * Fully graphical interface in HD resolution with mouse and keyboard support * Desktop shell with window manager and contextual radial menus * PCI and VirtIO…
2025 · github.com · its alternatives →
- 11
A minimal RISC-V 32-bit OS written in Zig. Contribute to botirkhaltaev/pico-os development by creating an account on GitHub.
2025 · github.com · its alternatives →
- 12
2019 · github.com · its alternatives →
- 13
VEKOS(Verified Experimental Kernel OS) is a Rust-based experimental kernel that focuses on runtime verification and security. Every filesystem operation and memory allocation generates cryptographic proofs that can be verified in real-time, ensuring system integrity. Think of it like a blockchain for OS operations rather than just storage verification. Key features: - Merkle tree-backed filesystem with operation verification - Memory manager with CoW and proof generation - Buddy allocator with zone-based memory management - Shell with VT100 support - Verified boot sequence with stage…
2024 · github.com · its alternatives →
- 14
Minoca OS▲10Minoca OS: A new lightweight kernel, completely from scratch
2016 · minocacorp.com · its alternatives →
- 15
Hi HN, I’m Dvir, a young developer. Last year, I got rejected after a job interview because I lacked some CPU knowledge. After that, I decided to deepen my understanding in the low level world and learn how things work under the hood. I decided to try and create an OS in C and ASM as a way to broaden my knowledge in this area. This took me on the most interesting ride, where I’ve learned about OS theory and low level programming on a whole new level. I’ve spent hours upon hours, blood and tears, reading different OS theory blogs, learning low level concepts, debugging, testing and working on…
Oct 2025 · github.com · its alternatives →
- 16
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM. - tinygo-org/tinygo
2018 · github.com · its alternatives →
- 17
Hello HN, I've been working on a simple OS for tinkering and running bare metal apps on vintage PCs. Since I couldn't quite decide whether to target pure 16-bit, or slightly more capable 32-bit machines, I ended up with two separate versions: - GentleOS/32 (https://github.com/luke8086/gentleos32) works on i386+, requires 4MB of RAM and VGA display supporting 640x480x16 mode or any 256-color VESA mode. - GentleOS/16 (https://github.com/luke8086/gentleos) works on 80186+, requires less than 192KB of RAM and a CGA display supporting 320x200x4…
Jun 2026 · github.com · its alternatives →
- 18
Hey all - this is the software part of my cyberdeck, called the Slimedeck Zero. The Slimedeck Zero is based around this somewhat esoteric device called the PicoVision which is a super cool RP2040 (Raspberry Pi Pico) based device. It outputs relatively high-res video over HDMI while still being super fast to boot with low power consumption. The PicoVision actually uses two RP2040 - one as a CPU and one as a GPU. This gives the CPU plenty of cycles to run bigger apps (and a heavy python stack) and lets the GPU handle some of the rendering and the complex timing HDMI requires. You can do this…
2025 · github.com · its alternatives →
- 19
A Simple Unix-like operating system. Contribute to ozkl/soso development by creating an account on GitHub.
2019 · github.com · its alternatives →
- 20
I've been working on this for ~3 months now, with pretty slow progress to be honest. So far I've got an ATA PIO mode hard disk driver, a FAT32 file system, a real time clock driver, and of course the essentials (interrupts, keyboard, pixel graphics). Kernel panics also cause a blue screen of death xD. It uses a bitmap physical memory allocator, and I'm fixing some issues with paging at the moment as a work towards running userspace applications. I'd be interested to see your thoughts on it :D
2024 · github.com · its alternatives →
- 21
As part of a little research and also some fun I decided to try my hand at seeing how small of an ESP32 board I can make with functioning WiFi.
Nov 2025 · github.com · its alternatives →
- 22JA
2015 · janos.io · its alternatives →
- 23
To try it out, simply build the project yourself from source, or use attached bootable ISO image of the system (in Releases on Github) and run it in QEMU. https://blog.vxn.dev/rou2exos-rusted-edition
2025 · github.com · its alternatives →
- 24RA
2016 · jamesmunns.com · its alternatives →
Also compare
- Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V alternatives
- My microkernel-based OS built from scratch now has basic Unix commands alternatives
- Minoca OS – A new lightweight kernel, completely from scratch alternatives
- 1.5kb Microkernel for Ben Eater's 6502 Computer alternatives
- TinyOS – A minimalist RTOS for Cortex-M written in C alternatives
- CoreOS, a Linux distro for containers alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →