Non conosco un sistema operativo sviluppato esplicitamente con le regole menzionate in mente ma secondo un comunicato stampa di Wind River VxWorks viene utilizzato come sistema operativo incorporato.
Il grande vantaggio di queste regole di codifica è che semplificano il processo di revisione del codice e formalizzano l'ambiente. Alcuni sistemi operativi come Linux hanno linee guida per lo stile di codifica, ma in genere coprono solo la sintassi e non hanno regole così rigide e probabilmente non sono rivisti come il codice della NASA.
Alcune regole sono rilevanti solo per i sistemi embedded come la memoria dinamica dopo l'inizializzazione, o possono causare problemi come la necessità di IPC invece dei puntatori di funzioni (questo è particolarmente vero per i sistemi operativi).
Un interessante sistema operativo open source è eCos in quanto è possibile configurare le parti del proprio sistema operativo, ad es. puoi scegliere in modo esplicito quali parti vuoi includere nel tuo sistema, compatibilità POSIX, socket BSD, stack TCP / IP ...