I'm not sure how I forgot to mention this project, especially considering how high quality it is:

- https://www.muen.sk/

Muen is implemented in SPARK, and has been formally proven to contain no runtime errors, which is an incredible accomplishment.

Do not forget AuroraUX.

Back when it was based on OpenSolaris:

https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page)

https://web.archive.org/web/20090415214139/http://auroraux.b... (About)

Then DragonFlyBSD:

https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page)

https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?)

https://web.archive.org/web/20110904173302/http://www.aurora... (System Overview)

https://web.archive.org/web/20110904171806/http://www.aurora... (Project Goals)

https://web.archive.org/web/20091127065848/http://www.aurora... (Hydra Package Manager)

Thanks so much for the link! I'm having a little trouble finding the source on those pages. Is there a link to it that's still active?

Unfortunately not that I know of. :( I think I still have my hard drive somewhere back from 2009, I might be able to get some data off from it. It is an old Maxtor, 30 GB I think. The pins are broken so I will definitely have to fix that, but I will have to find it first.

I believe I can get in touch with someone who was really enthusiastic about the project! He was like 14 years old at the time, really really zealous so I would like to think that he made backups. I got the links above from him a couple of weeks (or months?) ago when we were going down the nostalgia lane. :) For what it is worth, I met him on IRC (freenode), in #ada.

I'm still lurking in there from time to time! If you can get it without too much trouble I'm sure there are a few people out there who will appreciate it!

- https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Reading... - for the Intel 432!