Yes, you can run 2+ OSes on a Cortex-A9 MPCore processor. It's just that most people don't (at least, that is my experience). Technically, the challenge is co-ordinating the use of shared resources between the 2+ OSes. For example, there is a shared interrupt controller (IC) in the MPCore processors. You need some way to decided which OS is allowed to configure which parts of the IC. The same goes for all the other things visible to both OSes.