The author of TFA clarifies here: https://news.ycombinator.com/item?id=41651715 ...

		lisper on Sept 25, 2024 \| parent \| context \| favorite \| on: How to avoid a BSOD on your 2B dollar spacecraft The author of TFA clarifies here: https://news.ycombinator.com/item?id=41651715 TL;DR: the spacecraft is indeed not running Windows. It's running a custom OS written in C.