Axiom: A runtime-programmable kernel for robotics.

Every robot runs Linux. Every team freezes their kernel because one bad change bricks the device. Want better scheduling? Rebuild, reflash, pray.

Hey there. I'm Utkarsh. Over the last few years, I've worked on embedded systems, autonomous drones, and hardware wallets. And in every single project, I ran into the same brutal reality: Linux is not designed for change.

The kernel becomes frozen infrastructure. The moment you want to fix a motor driver or trace a production issue, you're staring down hours of cross-compiling, reflashing, and crossing your fingers.

Enter Axiom

I decided we needed to start over. If we're going to run verified programs in the kernel using eBPF, why not make the kernel out of verified programs?

Axiom is a new operating system kernel where runtime programmability is the foundation, not an afterthought. Built from scratch in bare-metal Rust, Axiom treats verified BPF-style programs as first-class kernel primitives.

You can hot-load new scheduling policies. You can trace hardware events. You can enforce unbypassable safety interlocks right at the kernel level. All while the robot is running, over the network. The kernel that never needs reflashing.

The Numbers

Because Axiom strips away 30 years of legacy server code, the performance is exactly what you want for hard real-time hardware. Running on a standard Raspberry Pi 5:

We're just getting started

What exists today is a complete, bootable kernel with a full BPF subsystem. I am currently seeking early adopters, research partners, and seed funding to take this to the next level.

If you build robots and you're tired of the frozen monolith, I want to talk to you.