I upvoted your comment because it challenges the assumption that Linux is The Only Possible Platform.

Reflecting on this assumption, I realize that Linux is the most widely supported platform to which the Raspberry Pi Foundation can retain some measure of control.

Some. But the Foundation can't fund the development of all the software, and their tweaked Linux is good enough for them, so that's what we've got.