alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hw: get rid of global makefiles specific to hw

Browse Source 
This commit mostly removes the globally visible NR_OF_CPUS define
from the global makefile specifiers defined in the base-hw repository.
Whereever necessary it adds platform specific makefiles to the base
repository when they were missing.

Ref #2190
This commit is contained in:
Stefan Kalkowski
2017-01-02 15:29:21 +01:00
committed by Norman Feske
parent e2a23a0ab3
commit 3886686b83
36 changed files with 108 additions and 384 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
tool/run/boot_dir/hw
View File

@@ -7,17 +7,17 @@ proc run_boot_string { } { return "\nkernel initialized" }
proc core_link_address { } {
if {[have_spec "hw_odroid_xu"]} { return "0x80000000" }
if {[have_spec "hw_pbxa9"]} { return "0x70000000" }
if {[have_spec "hw_usb_armory"]} { return "0x72000000" }
if {[have_spec "hw_x86_64"]} { return "0x00200000" }
if {[have_spec "hw_wand_quad"]} { return "0x10001000" }
if {[have_spec "hw_imx53_qsb"]} { return "0x70010000" }
if {[have_spec "hw_arndale"]} { return "0x80000000" }
if {[have_spec "hw_panda"]} { return "0x81000000" }
if {[have_spec "hw_zynq"]} { return "0x00100000" }
if {[have_spec "hw_riscv"]} { return "0x00000200" }
if {[have_spec "hw_rpi"]} { return "0x00800000" }
if {[have_spec "odroid_xu"]} { return "0x80000000" }
if {[have_spec "pbxa9"]} { return "0x70000000" }
if {[have_spec "usb_armory"]} { return "0x72000000" }
if {[have_spec "x86_64"]} { return "0x00200000" }
if {[have_spec "wand_quad"]} { return "0x10001000" }
if {[have_spec "imx53_qsb"]} { return "0x70010000" }
if {[have_spec "arndale"]} { return "0x80000000" }
if {[have_spec "panda"]} { return "0x81000000" }
if {[have_spec "zynq"]} { return "0x00100000" }
if {[have_spec "riscv"]} { return "0x00000200" }
if {[have_spec "rpi"]} { return "0x00800000" }
puts "unknown platform no linker address known"
exit -1
@@ -30,7 +30,7 @@ proc core_link_address { } {
proc run_boot_dir {binaries} {
# generate static ACPI report for platform driver on Muen
if {[have_spec "hw_x86_64_muen"]} {
if {[have_spec "x86_64_muen"]} {
set fh [open "bin/acpi" "WRONLY CREAT TRUNC"]
puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/></acpi>"
close $fh

2
tool/run/power_on/spike
View File

@@ -5,7 +5,7 @@ source [genode_dir]/tool/run/spike.inc
proc is_spike_available { } {
if {[have_spec platform_riscv]} { return true }
if {[have_spec riscv]} { return true }
puts stderr "skipping execution because platform is not supported by spike"
return false