# kernel to use
KERNEL ?= pistachio