Any list of operating systems written in Ada should include Intel's first 32 bit OS iMAX: https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Readings/oses/im

Any list of operating systems written in Ada should include Intel's first 32 bit OS iMAX: 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...