They’ve made some progress latetly, and they’ve now run Rockbox far enough to display stuff on their screen:
Click the image for the full photo. Cortesy of Casainho himself. “I hope to take no more than 1 month to finish the port.“
The target is using an Atmel AT91SAM9260 at 200MHz and the screen is a 12bit color 128×128 one.