Hi Jay— thanks man! It’s been busy, but good busy
Regarding gcc, we want to do this for sure. We were one of the first LPC4300 customers, and at the time Keil was the only tool that supported JTAG debugging.
The conversion will take some time (I fear) because of the startup code, assembly and linker script stuff. Determining where to prioritize this effort will be difficult. I feel like we’re pretty stacked. (I’m surprised that you’re the first person to ask!)
You’re right though, we’re using Keil MDK-ARM. We should add notes on the wiki on how to get it up and running, but it’s really simple. You just point the IDE to the “video_m4_m0.uvmpw” workspace file in ~device/video. It will open a workspace with 4 different projects: video, m0, libpixy_m0, libpixy_m4. Compile the 4 projects in this order: libpixy_m4, libpixy_m0, m0, then finally the video project. The video project will create a video.hex output file that you can then upload into Pixy using firmware upload mode.
Keil is basically free for educational use if you have university connections. The CMU guys got it this way. I had to get it through the usual channels.