As i received my pandora 3 weeks ago, i started to develop/port some stuff, just to bring me in the toolchain and the device (see my ongoing attempts around fMSX - - and the Thomson TO8D emulator - -).
Up to now, all the software delivered in the repo/boards/... seems to only use the ARM and...