export KARCH ?= x86_64
export OUTPUT ?= kernel
export MEMORY ?= 1G
export TIMER_FREQUENCY_HZ ?= 1000