And for those more interested in system's level programming ...
http://www.elinux.org/Virtual_Development_Board
Adapt as required (Rob's emulation environment is already the ARM versatile-pb, and an eariler post in this thread installed the CS/MG tool-chain).
RSN, someone is going to be booting the K3's Amazon kernel, and then build a good strace. Someday. Don't anyone wait for me to do it.