override BOARD := pbxa9
L4_ARCH        := arm_armv7a

include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc