-#include examples/stm32p103/stm32p103.mk
-#include examples/develgps/develgps.mk
-#include examples/lpc2378/lpc2378.mk
-#include examples/avr-kern/avr-kern.mk
-#include examples/triface/triface.mk
-#include examples/benchmark/kernel-only_arm/kernel-only_arm.mk
-#include examples/benchmark/kernel-core_avr/kernel-core_avr.mk