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

replace Wandboard by i.MX6 reference board

Browse Source 
Instead of using the Wandboard Quad, the reference hardware from NXP
i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
This commit is contained in:
Stefan Kalkowski
2019-01-15 15:44:16 +01:00
committed by Norman Feske
parent c65860ee53
commit b765cef359
29 changed files with 38 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tool/run/boot_dir/hw
View File

@@ -210,7 +210,6 @@ proc base_src { } {
if {[have_spec x86_64] && [have_spec muen]} { return base-hw-muen }
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 imx6q_sabrelite]} { return base-hw-imx6q_sabrelite }
if {[have_spec odroid_xu]} { return base-hw-odroid_xu }
if {[have_spec imx53_qsb] && ![have_spec trustzone]} { return base-hw-imx53_qsb }

8
tool/run/boot_dir/sel4
View File

@@ -1,8 +1,8 @@
proc binary_name_ld_lib_so { } { return "ld-sel4.lib.so" }
proc binary_name_core_o { } { return "core-sel4.o" }
proc binary_name_timer { } {
if {[have_spec wand_quad]} { return "wand_quad_timer_drv" }
if {[have_spec x86]} { return "pit_timer_drv" }
if {[have_spec imx6]} { return "imx6_timer_drv" }
if {[have_spec x86]} { return "pit_timer_drv" }
puts "unknown platform - no timer driver"
exit -1
}
@@ -147,8 +147,8 @@ proc run_boot_dir {binaries} {
#
proc base_src { } {
if {[have_spec x86]} { return base-sel4-x86 }
if {[have_spec wand_quad]} { return base-sel4-wand_quad }
if {[have_spec x86]} { return base-sel4-x86 }
if {[have_spec imx6q_sabrelite]} { return base-sel4-imx6q_sabrelite }
global specs