There may be another exception: very specialized OSes in critical environments like planes or satellites.<p>These environments generally need a real time OS with a small footprint (for auditability, or even prove a part of the code).