Hi Lennert,
Let's ask a different question: are there public docs for the chip?
Check http://wiki.gp2x.org/wiki/Hardware_Documentation -- Héctor Orón