SOURCES += $(addprefix src/platform/ixdp425/, plat.cc timer.cc irq.cc )
