mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-29 15:44:02 +00:00
parent
f42c21f16b
commit
089cb0f536
@ -17,7 +17,7 @@ proc core_link_address { } {
|
||||
if {[have_spec odroid_x2]} { return "0x80100000" }
|
||||
if {[have_spec imx53 ]} { return "0x70140000" }
|
||||
if {[have_spec imx6q_sabrelite ]} { return "0x14000000" }
|
||||
if {[have_spec imx7d_sabre ]} { return "0x80140000" }
|
||||
if {[have_spec imx7d_sabre ]} { return "0x91000000" }
|
||||
|
||||
puts stderr "Error: platform not supported, core link address unknown"
|
||||
exit 1
|
||||
|
Loading…
x
Reference in New Issue
Block a user