ts-7500/dist/linux-2.6.24-cavium/arch/avr32/boards/atstk1000
