A Microkernel OS for Armv8

In plain words

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 GitHub. It is intended for developers and researchers interested in operating system design, embedded systems, or ARM-based computing. The microkernel approach allows for flexibility and easier customization compared to monolithic kernel designs.

written from the facts on this page · September 2026

• 
  Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-VApr 2026 · github.com · ▲115

  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…

• 
  My microkernel-based OS built from scratch now has basic Unix commands2024 · github.com · ▲69

  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…

• MO
  Minoca OS – A new lightweight kernel, completely from scratch2016 · minocacorp.com · ▲168
• 
  1.5kb Microkernel for Ben Eater's 6502 Computer2020 · github.com · ▲230

  Micro Kernel / Bootloader for Ben Eater's 6502 Computer - janroesner/sixty5o2

• 
  TinyOS – A minimalist RTOS for Cortex-M written in CApr 2026 · github.com · ▲102

  Contribute to cmc-labo/tinyos-rtos development by creating an account on GitHub.

• 
  CoreOS, a Linux distro for containers2013 · coreos.com · ▲417

  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.

• 
  /dev/null▲472

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• 
  Magic Sidebar by BlackMagic.so▲1,084

  Powerful enhanced experience for Twitter

  Life & fun · 2021 · blackmagic.so

• 
  I made a modern web UI for Wikipedia▲979

  A beautiful, clean, modern web UI for Wikipedia. Enhance your Wikipedia experience with a redesigned look, new features and customization.

  Life & fun · 2021 · modernwiki.app

• 
  thirdweb▲897

  Build web3 apps and games, easily

  Dev tools · 2021 · thirdweb.com

• 
  Emoji to Scale▲713

  Your favorite emojis. To scale (more or less).

  Life & fun · 2021 · javier.xyz

• 
  Alfread▲641

  Actually read articles saved for later

  Work · 2021

• 
  BitsForDigits▲624

  A partial buyout marketplace free for bootstrapped founders

  Commerce · 2021 · flippa.com