ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-06 13:58:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,830 Commits 2 Branches 70 Tags 87 MiB
19d0142e10
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
8cc2662aac Remove support for the Muen separation kernel 
Fixes #3995
Fixes #3994
 2021-02-23 11:55:44 +01:00
Norman Feske
c4cf9b6e6d base-hw: introduce board-property directories 
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
 2021-01-25 14:00:43 +01:00