NASA ma desiatky, mozno stovky roznych projektov a predpokladam ze v nich pouziva mnozstvo SW rieseni. Takze kludne mozu v tomto pripade pouzivat Linux RT, vo vysledku to nic zasadne neznamena. Ja som zas cital ze pouzivaju casto riesenia v MINIXe ale nepracujem tam tak sa nebudem k tomu vyjadrovat. Ale Linux a Linux RT pouzivam denne a skutocne to nie je 100% spolahlive, to mam osobne odskusane.
Samozřejmě že to není hard RT. Ale třeba pro audio zařízení, které prostě potřebuje výrazně minimalizovat riziko xrunů, je to velice slušné - viz např. grafy pipewire w/ vs. w/o PREEMPT_RT https://bootlin.com/blog/a-custom-pipewire-node/