export OUTPUT ?= kernel
export MEMORY ?= 4G
export TIMER_FREQUENCY_HZ ?= 1000