6 ms·

I was just looking at this recently, funnily enough, while looking for other examples of x86 Operating-System development in Ada. Here are a few other examples

by ajxs 7y ago

I was just looking at this recently, funnily enough, while looking for other examples of x86 Operating-System development in Ada. Here are a few other examples of Operating-System development in Ada, in various levels of completion. - https://github.com/ajxs/cxos https://github.com/ajxs/cxos - https://github.com/Lucretia/bare_bones https://github.com/Lucretia/bare_bones - https://marte.unican.es/todo.htm https://marte.unican.es/todo.htm - https://sourceforge.net/projects/lovelaceos/ https://sourceforge.net/projects/lovelaceos/ - https://sourceforge.net/projects/sx-ada-kalinda/ https://sourceforge.net/projects/sx-ada-kalinda/

johnisgood 7y ago
Do not forget AuroraUX. Back when it was based on OpenSolaris: https://web.archive.org/web/20090314042407/http://auroraux.blastwave.org/index.php/Main_Page https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page) https://web.archive.org/web/20090415214139/http://auroraux.blastwave.org/index.php/AuroraUX:About https://web.archive.org/web/20090415214139/http://auroraux.b... (About) Then DragonFlyBSD: https://web.archive.org/web/20110824053558/http://www.auroraux.org/index.php/Main_Page https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page) https://web.archive.org/web/20110824053558/http://www.auroraux.org/index.php/Main_Page#Why_Ada.3F https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?) https://web.archive.org/web/20110904173302/http://www.auroraux.org/index.php/System_Overview https://web.archive.org/web/20110904173302/http://www.aurora... (System Overview) https://web.archive.org/web/20110904171806/http://www.auroraux.org/index.php/Project_Goals https://web.archive.org/web/20110904171806/http://www.aurora... (Project Goals) https://web.archive.org/web/20091127065848/http://www.auroraux.org/index.php/Hydra_Package_Manager https://web.archive.org/web/20091127065848/http://www.aurora... (Hydra Package Manager)
- ajxs 7y ago
  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?
  - johnisgood 7y ago
    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.
    - ajxs 7y ago
      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!
ajxs 7y ago
I'm not sure how I forgot to mention this project, especially considering how high quality it is: - https://www.muen.sk/ https://www.muen.sk/ Muen is implemented in SPARK, and has been formally proven to contain no runtime errors, which is an incredible accomplishment.
jonjacky 7y ago
- https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Readings/oses/imax-multiprocessor-os-sosp-1981.pdf https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Reading... - for the Intel 432!

by ajxs 7y ago

johnisgood 7y ago

Do not forget AuroraUX. Back when it was based on OpenSolaris: https://web.archive.org/web/20090314042407/http://auroraux.blastwave.org/index.php/Main_Page https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page) https://web.archive.org/web/20090415214139/http://auroraux.blastwave.org/index.php/AuroraUX:About https://web.archive.org/web/20090415214139/http://auroraux.b... (About) Then DragonFlyBSD: https://web.archive.org/web/20110824053558/http://www.auroraux.org/index.php/Main_Page https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page) https://web.archive.org/web/20110824053558/http://www.auroraux.org/index.php/Main_Page#Why_Ada.3F https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?) https://web.archive.org/web/20110904173302/http://www.auroraux.org/index.php/System_Overview https://web.archive.org/web/20110904173302/http://www.aurora... (System Overview) https://web.archive.org/web/20110904171806/http://www.auroraux.org/index.php/Project_Goals https://web.archive.org/web/20110904171806/http://www.aurora... (Project Goals) https://web.archive.org/web/20091127065848/http://www.auroraux.org/index.php/Hydra_Package_Manager https://web.archive.org/web/20091127065848/http://www.aurora... (Hydra Package Manager)

ajxs 7y ago
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?
- johnisgood 7y ago
  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.
  - ajxs 7y ago
    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!

ajxs 7y ago

I'm not sure how I forgot to mention this project, especially considering how high quality it is: - https://www.muen.sk/ https://www.muen.sk/ Muen is implemented in SPARK, and has been formally proven to contain no runtime errors, which is an incredible accomplishment.

jonjacky 7y ago

- https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Readings/oses/imax-multiprocessor-os-sosp-1981.pdf https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Reading... - for the Intel 432!