KERNEL_CONFIG := $(REP_DIR)/config/rpi3_32b.kernel

include $(REP_DIR)/lib/mk/kernel-foc.inc