yeah, I know, I know.
make sure to
$ cmake -DCMAKE_BUILD_TYPE=Debug ..
if yo want to debug in gdb.
A tiny and fast Unix-ish kernel (based on xv6), compiler, and userland for fun, education, and research.
Virtual CPU with full user/supervisor and virtual memory support, fast enough to support self-emulation.
Fast C-subset compiler allowing on-the-fly compile-and-go of all applications.
Nope.... Network clients & servers, remote OpenGL, GUI applications, and many other nifty features.
Focused on Pi Pico 2021
See the 00README.txt for full details and a step-by-step walkthrough tutorial. Don't expect to be anywhere near right. Yet.