mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
* 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