# kernel to use (hw, sel4)
# KERNEL ?= hw