[dbalan]

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

https://media.ccc.de/v/33c3-7946-console_hacking_2016

[throwawayish]

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.