# Target architecture (AARCH64)
CONFIG_ARCH = AARCH64
# Use ARM local timer (1/0)
CONFIG_ARM_TIMER = 0
-include config.dev.mk