Stefan Kalkowski bdd923406f 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-25 13:58:09 +01:00
..
bbl	run: update RISC-V run script support	2017-08-30 09:59:59 +02:00
disk	image/disk: increase estimated disk size	2019-06-13 12:22:49 +02:00
iso	run: rename 'check_installed' to 'installed_command'	2018-07-03 09:39:31 +02:00
muen	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
uboot	foc: add support for Raspberry Pi 3	2019-05-27 14:52:51 +02:00
uefi	tool: boot Genode on bare metal Linux	2019-12-19 16:59:02 +01:00