denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base-hw: recipes for ARMv7a platforms

Browse Source 
* To base-hw/recipes/src add base-hw-arndale, base-hw-imx53_qsb,
  base-hw-imx53_qsb_tz, base-hw-odroid_xu, base-hw-panda, base-hw-rpi,
  base-hw-wand_quad
* Ensure that the correct base-hw recipe is choosen by the run module
  'boot_dir/hw'
This commit is contained in:
Martin Stein
2018-11-05 12:53:12 +01:00
committed by Christian Helmuth
parent f93294975b
commit 655fbbd984
22 changed files with 65 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
tool/run/boot_dir/hw
View File

@@ -205,8 +205,15 @@ proc run_boot_dir {binaries} {
#
proc base_src { } {
if {[have_spec x86_64] && ![have_spec muen]} { return base-hw-pc }
if {[have_spec pbxa9]} { return base-hw-pbxa9 }
if {[have_spec x86_64] && ![have_spec muen]} { return base-hw-pc }
if {[have_spec pbxa9]} { return base-hw-pbxa9 }
if {[have_spec rpi]} { return base-hw-rpi }
if {[have_spec wand_quad]} { return base-hw-wand_quad }
if {[have_spec odroid_xu]} { return base-hw-odroid_xu }
if {[have_spec imx53_qsb] && ![have_spec trustzone]} { return base-hw-imx53_qsb }
if {[have_spec imx53_qsb] && [have_spec trustzone]} { return base-hw-imx53_qsb_tz }
if {[have_spec arndale]} { return base-hw-arndale }
if {[have_spec panda]} { return base-hw-panda }
global specs