"After a long break from working on my hobby operating system, I finally got back into it and finished a very important milestone"<p>This is a sign of great engineering. Code gets foreign code after some time of not being in it. If you easily can pick it up again, it is a sign that you've written maintainable and understandable code, also for others.
Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...
Very cool! Why was and the entire networking stack straight forward, but not HTTP (and TCP)? Could you take inspiration form other projects for things like DNS?
You should add OpenAPI generation. So that basically the endpoint /openapi.json is auto-generated.
Can the OS run AI agents?