After decades of hard work from the Realtime Linux developers, it is finally up for merging, fully and officially, into the mainline tree. With the forthcoming release of the 6.12 kernel we can finally say Linux is officially a Realtime OS. Perhaps the next Linux-based space vehicle can use it, who knows.
At the Open Source Summit in Europe, there was a little ceremony where Thomas Gleixner handed Linus Torvalds his official pull request for the realtime patch to be merged, printed on paper and gussied up with gold paper and a little ribbon and everything.
