Need simple program for AT32UC3A0512

Hello, We have a prototype using the AT32UC3A0512 processor (see attached schematic), and we need a simple code in C just to flash LEDs, read buttons, send random characters through 2 UART ports and the SPI port. We will use this code as a start point to complete the rest of the firmware. We are looking to hire a programmer experienced in AVR32, to write code to perform the following tasks: 1. Configure the system clock to run at the max speed available for this processor, using PLL, etc. 2. Configure GPIO pins to drive 2 LEDs at pins PX34 and PB12 3. Configure GPIO pins to read 2 buttons connected to pins PX39 and PB19 4. Enable one SPI port on any mode, using the folllowing signals: PX29: Chip select ADC PA16: Chip select DAC PA11: MISO PA12: MOSI PA13: CLOCK 5. Enable 2 UART ports with 115200bps, 8 data bits, no parity, 1 stop bit, no flow control, on the pins shown below: TX1: PA01 RX1: PA00 TX2: PA06 RX2: PA05 6. Enable the following GPIO pins as outputs: PA02, PA04, PB01, PX30. 7. Create a while() loop doing the following: Lit up LED 1 while button 1 is pressed (pin = 0) Lit up LED 2 while button 2 is pressed (pin = 0) Echo any characters received through the UART TX ports (echo sent once a full byte was received) Send 0x55 to the SPI port at random times, any SPI mode, toggling the chip select pins to address the ADC or DAC. 8. Comment the code describing flags used and values, and SPI/UART parameters so we can change them later. We will test the code on our custom board + AtmelStudio6 + JTAGICE Mk2. We will release the funds once the program performs as requested. Deliverables are just the source code, indicating any additional resources we need to load, (ASF, headers, etc.) Thanks for biddding! GPD Electronics