Hacker News Reader

Both CPUs are connected with a PCI bus and as far as the main SOC is concerned its a bunch of peripherals on PCI

The CPUs run different OSes and there is no ability to move tasks between them; this is rather unlike a hybrid or "big.LITTLE" approach.