In a word yes.
I need to sync up with Jakub exactly how we merge our code together.
Lots of boards are arriving shortly - they are being assembled now but the big China holiday is close which could mean a delay to end Feb.
I have new bootloader for the ARM SW which lets you re-flash over USB - holding the menu button when powering on puts it in this mode.
For the cores they are just files on the SD card. For development I use a download cable connected to the JTAG header. The ARM will re-init the board and file system if the chip is reprogrammed, so I can build and test very rapidly now without taking the SD card out.
Most of the IO is new and generic, including the full colour OSD, audio/video interfaces and PS2 (which is now controlled by a tiny soft micro-controller).
I am also modifying the menu system so firmware options are loaded from an ini file - this is necessary for multi-platform support (and the Atari ST is next)....
Finally I have a USB adapter which is soldered on in place of the PS2 connector. This has a VNC2 chip and adds one internal and one external USB port. Hubs, mouse and keyboard are currently supported. This is working on the dev board and the real PCB should be here tomorrow.
/MikeJ