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