Interesting, the VC firmware is ThreadX based, indeed[1]! The number of platforms this runs on is absolutely mind-blowing (from an engineering perspective).

[1] https://github.com/hermanhermitage/videocoreiv