genode/repos/base-foc/lib/mk/spec/arm_64/kernel-foc-rpi3.mk

override BOARD := rpi3
KERNEL_CONFIG  := $(REP_DIR)/config/$(BOARD).kernel

include $(REP_DIR)/lib/mk/kernel-foc.inc
base: remove SPEC variables of boards (fix #3971) * Remove SPEC declarations from mk/spec * Remove all board-specific REQUIRE declaratiions left * Replace [have_spec <board>] run-script declarations with have_board where necessary * Remove addition of BOARD variable to SPECS in toplevel Makefile * Move board-specific directories in base-hw out of specs 2021-01-13 09:15:10 +00:00			`override BOARD := rpi3`
			`KERNEL_CONFIG := $(REP_DIR)/config/$(BOARD).kernel`

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