# Target architecture (AARCH64)
CONFIG_ARCH = AARCH64

# Use ARM local timer (1/0)
CONFIG_ARM_TIMER = 0

-include config.dev.mk