7 comments

[ 2.9 ms ] story [ 19.1 ms ] thread
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?
Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...
"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.