A 10KiB kernel for cloud apps

In plain words

A 10KiB kernel is a minimal operating system kernel designed for cloud applications. It targets developers building lightweight cloud services who need to reduce resource consumption and deployment size. The kernel achieves its small footprint by stripping away non-essential features while maintaining core functionality for containerized and cloud-native environments. Its simplicity makes it suitable for edge computing, embedded systems, and scenarios where bandwidth and memory are constrained.

written from the facts on this page · September 2026

From the sources

This has only been tested with Digital Ocean and Proxmox. Support for other hypervisor/cloud providers (AWS, Azure, and Google Cloud) is coming soon. BareMetal Cloud is a minimal version of the BareMetal exokernel specifically geared for running in public/private cloud instances. This minimal version of BareMetal contains only the relevant drivers, is 10,240 bytes in size, and only uses 4 MiB of memory. All other memory is allocated to the payload. An instance of BareMetal is running in Digital Ocean at http://baremetal.returninfinity.com and will respond to HTTP and ICMP. The script in this repo depends on a Debian-based Linux system. macOS is also supported to build and test if you are…from github.com

• 
  Kern – container and resource runtime in a 1.5 MB binary, no daemonAug 2026 · github.com · ▲70

  A fast, rootless sandbox and virtual resource runtime for any workload, including untrusted and AI-generated code. Daemonless: a real, kernel-enforced container in ~3.5 ms from an OCI image, out of one static binary - getkern/kern

• 
  A proof-of-concept FoundationDB based network block device backend2018 · github.com · ▲192

  A totally proof-of-concept FoundationDB based network block device backend - dividuum/fdb-nbd

• 
  Run globally distributed full-stack apps on high-performance MicroVMs2023 · koyeb.com · ▲98

  Hi HN! We’re Yann, Edouard, and Bastien from Koyeb (https://www.koyeb.com/). We’re building a platform to let you deploy full-stack apps on high-performance hardware around the world, with zero configuration. We provide a “global serverless feeling”, without the hassle of re-writing all your apps or managing k8s complexity [1]. We built Scaleway, a cloud service provider where we designed ARM servers and provided them as cloud servers. During our time there, we saw customers struggle with the same issues while trying to deploy full-stack applications and APIs resiliently. As…

• 
  Katakate – Dozens of VMs per node for safe code exec2025 · github.com · ▲124

  I've built this to make it easy to host your own infra for lightweight VMs at large scale. Intended for exec of AI-generated code, for CICD runners, or for off-chain AI DApps. Mainly to avoid Docker-in-Docker dangers and mess. Super easy to use with CLI / Python SDK, friendly to AI engs who usually don't like to mess with VM orchestration and networking too much. Defense-in-depth philosophy. Would love to get feedback (and contributors: clear & exciting roadmap!), thx

• 
  Koyeb – Simple serverless processing workflows, on any cloud2020 · koyeb.com · ▲66

  Deploy intensive applications across GPUs, CPUs, and Accelerators in minutes - scale in 50+ locations.

• 
  Dockerized GPU Deep Learning Solution (Code and Blog and TensorFlow Demo)2016 · github.com · ▲80

  An on-premises, bare-metal solution for deploying GPU-powered applications in containers - emergingstack/es-dev-stack

• 
  /dev/null▲484

  a social network for devs

  Dev tools · 3d 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 · 28d 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 · 26d ago · github.com

• 
  OpenBot▲362

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

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  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 · 21d ago · talanoa.email

• 
  CoreSpeed▲332

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

  Dev tools · 28d ago · corespeed.io

• IN
  isometric.nyc – giant isometric pixel art map of NYC▲1,325

  Hey HN! I wanted to share something I built over the last few weeks: isometric.nyc is a massive isometric pixel art map of NYC, built with nano banana and coding agents. I didn't write a single line of code. Of course no-code doesn't mean no-engineering. This project took a lot more manual labor than I'd hoped! I wrote a deep dive on the workflow and some thoughts about the future of AI coding and creativity: http://cannoneyed.com/projects/isometric-nyc

  AI · Jan 2026 · cannoneyed.com

• 
  Cowork▲1,088

  Turn Claude into your digital coworker

  AI · Jan 2026 · claude.com

• 
  DataFast▲867

  Revenue-first analytics

  Growth · Jan 2026 · datafa.st

• 
  OpenClaw▲836

  The AI that actually does things

  AI · Jan 2026 · openclaw.ai

• 
  Kilo Code Reviewer▲799

  Automatic AI-powered code reviews the moment you open a PR

  Dev tools · Jan 2026 · kilo.ai

• 
  PostSyncer▲793

  AI Content Maker, for Social Media Publishing

  AI · Jan 2026 · postsyncer.com