It's a set of tools that have allowed me to prototype quickly small (and increasingly bigger) kernels, and create userspace programs to interact with them.

Supports riscv64, amd64 and i386. The intel port has been tested and used on real hardware, from big dual-socket Xeon machines to an old X220.

It is all C, I have plan to make rust bindings for the kernel library. But again, they're plans at this stage.

Porting to new architectures is relatively simple, a basic port to riscv took me a couple of weeks of spare-time hacking.

While still at early stage, has now reached the point where I believe it can be useful to more people than just me.

Let me know what you think :-)