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