The person you’ve responded to has confused a bootloader with... virtualization? There are some legitimate concerns about how open the RPi has made certain things, but you haven’t read a sane person’s critique of it above.
Interesting, the VC firmware is ThreadX based, indeed[1]! The number of platforms this runs on is absolutely mind-blowing (from an engineering perspective).
