"After a long break from working on my hobby operating system, I finally got back into it and finished a very important milestone"
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.
by canyp
0 subcomment
Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...
by roetlich
1 subcomments
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?
by yupyupyups
2 subcomments
You should add OpenAPI generation. So that basically the endpoint /openapi.json is auto-generated.