export KARCH ?= aarch64
export OUTPUT ?= kernel
export MEMORY ?= 512M
export TIMER_FREQUENCY_HZ ?= 1000