mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
This patch moves the bootstrap-link-address information from the tool/run/boot_dir/hw file to board-specific property files that can be accessed by using the board as key. This eliminates the need to customize boot_dir/hw when hosting board-support in an external repository. Fixes #3998