Are there any docs, wikis, discussions about porting Processing to compile for an ARM target microcontroller using GCC? For example, how did the leafabs guys port processing to compile for the Cortex-M3 target? Another example - how did the Arduino folks port Processing to compile for the AVR microcontroller?