@TheBilgeRat
"twice as powerful as iPhone 4S GPU"
I think no one has said it has weak GPU power?
It's GPU outperforms cell phones.
It will run tiny games and other small apps well.
It is weak for desktop kind of use.
No L2 for CPU use, shared RAM, no decent mass storage interface, ...
GPU: "roughly equivalent to Xbox 1 level of performance"
CPU: "Overall real world performance is something like a 300MHz Pentium 2"
http://www.raspberrypi.org/faqsFor porting hobby OS:
"To get the full SoC documentation you would need to sign an NDA with Broadcom, who make the chip and sell it to us. But you would also need to provide a business model and estimate of how many chips you are going to sell."
But as it anyway would be pretty steep downgrade from SAM440 kind of HW, AOS4 kind of OS + SW would never be an option for it.