Running Auduino on Teensy

[Jason Webb]

I'm working on a project (a space-ship control panel) for a local children's museum, and have ordered a few Teensy boards to integrate in various ways. I would love to integrate an Auduino-based synth, but not sure if its supported. 

From the Teensy's site (http://www.pjrc.com/teensy/), it looks like the Teensy 2.0 I have uses an ATMEGA32U4. 

Can someone help extend Auduino to support the ATMEGA32U4? It looks like it'd be fairly easy, but I'm not quite skilled enough w/ microcontroller development to figure it out myself, and I have to be finished with my projects in about 1 week. 

Thanks!