#include examples/avr-kern/avr-kern.mk
#include examples/triface/triface.mk
#include examples/benchmark/kernel-only_arm/kernel-only_arm.mk
#include examples/avr-kern/avr-kern.mk
#include examples/triface/triface.mk
#include examples/benchmark/kernel-only_arm/kernel-only_arm.mk