lovelace-rebooted Code
Another try for lovelace an Ada based OS (maybe some SPARK)
Brought to you by:
tatanka-witko
Lovelace Rebooted is another try to get a full Ada Operation System.
First step is to follow and translate in Ada (maybe SPARK) Erik Helin and Adam Renberg book : "The little book about OS development" which can be found at https://github.com/littleosbook/ or http://littleosbook.github.io/.
Thanks to them to gather and provide all this data in one pdf.