I'm not good at history of operating systems. Separation kernel is efficiency thing. The oldest and most secure way to solve the same problem is separate comp

I'm not good at history of operating systems. Separation kernel is efficiency thing. The oldest and most secure way to solve the same problem is separate computers and put data diodes between them if necessary. Need for integrated modular avionics was the driving force for the development. Aircraft have space and weight limits.