Since you mentioned BiiN we can add its predecessor to the list. The iMAX operating system for Intel's first 32 bit processor, the iAPX432 (which Intel likes to

Since you mentioned BiiN we can add its predecessor to the list. The iMAX operating system for Intel's first 32 bit processor, the iAPX432 (which Intel likes to pretend never existed), was written entirely in Ada. 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...