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

Retire Exynos 5 support (fix #3725)

Browse Source
This commit is contained in:
Stefan Kalkowski
2020-04-07 00:42:50 +02:00
committed by Christian Helmuth
parent 941e918b46
commit 0e49336b96
106 changed files with 15 additions and 7551 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tool/builddir/build.conf/run_arm_v7
View File

@@ -4,9 +4,9 @@ QEMU_RUN_OPT := --include power_on/qemu --include log/qemu
# kernel to use (hw, foc, or sel4)
#KERNEL ?= hw
# board to use (arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,
# nit6_solox, odroid_xu, odroid_x2, pbxa9, usb_armory,
# virt_qemu, wand_quad, or zynq_qemu)
# board to use (imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,
# nit6_solox, pbxa9, usb_armory, virt_qemu, wand_quad,
# or zynq_qemu)
#BOARD ?= pbxa9
# local variable for run-tool arguments that depend on the used board

13
tool/create_builddir
View File

@@ -12,19 +12,16 @@ PLATFORM = $(MAKECMDGOALS)
PLATFORMS = arm_v6 arm_v7a arm_v8a riscv x86_32 x86_64 linux
PLATFORMS_DEPR = arndale imx53_qsb imx53_qsb_tz imx6q_sabrelite imx7d_sabre \
nit6_solox odroid_x2 odroid_xu pbxa9 riscv_spike rpi \
PLATFORMS_DEPR = imx53_qsb imx53_qsb_tz imx6q_sabrelite imx7d_sabre \
nit6_solox pbxa9 riscv_spike rpi \
usb_armory wand_quad zynq_qemu muen
PLATFORM_ALT(arndale) = arm_v7a
PLATFORM_ALT(imx53_qsb) = arm_v7a
PLATFORM_ALT(imx53_qsb_tz) = arm_v7a
PLATFORM_ALT(imx6q_sabrelite) = arm_v7a
PLATFORM_ALT(imx7d_sabre) = arm_v7a
PLATFORM_ALT(muen) = x86_64
PLATFORM_ALT(nit6_solox) = arm_v7a
PLATFORM_ALT(odroid_x2) = arm_v7a
PLATFORM_ALT(odroid_xu) = arm_v7a
PLATFORM_ALT(pbxa9) = arm_v7a
PLATFORM_ALT(riscv_spike) = riscv
PLATFORM_ALT(rpi) = arm_v6
@@ -124,14 +121,11 @@ BUILD_CONF(x86_64) := run_x86_64 $(BUILD_CONF_X86)
BUILD_CONF(linux) := run_kernel_linux repos
# deprecated platforms, to be removed
BUILD_CONF(arndale) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(imx53_qsb) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(imx53_qsb_tz) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(imx6q_sabrelite) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(imx7d_sabre) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(nit6_solox) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(odroid_x2) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(odroid_xu) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(pbxa9) := $(BUILD_CONF_ARM_V7)
BUILD_CONF(rpi) := $(BUILD_CONF_ARM_V6)
BUILD_CONF(usb_armory) := $(BUILD_CONF_ARM_V7)
@@ -193,14 +187,11 @@ SPECS(linux) := $(HOST_SPEC_ARCH)
# deprecated platforms
SPECS(rpi) := arm_v6
SPECS(arndale) := arm_v7a
SPECS(imx53_qsb) := arm_v7a
SPECS(imx53_qsb_tz) := arm_v7a
SPECS(imx6q_sabrelite) := arm_v7a
SPECS(imx7d_sabre) := arm_v7a
SPECS(nit6_solox) := arm_v7a
SPECS(odroid_x2) := arm_v7a
SPECS(odroid_xu) := arm_v7a
SPECS(pbxa9) := arm_v7a
SPECS(usb_armory) := arm_v7a
SPECS(wand_quad) := arm_v7a

3
tool/run/boot_dir/foc
View File

@@ -10,11 +10,9 @@ proc run_boot_string { } { return "\nL4 Bootstrapper" }
proc core_link_address { } {
if {[have_spec x86 ]} { return "0x01100000" }
if {[have_spec arndale ]} { return "0x80100000" }
if {[have_spec rpi ]} { return "0x00800000" }
if {[have_spec rpi3 ]} { return "0x02000000" }
if {[have_spec pbxa9 ]} { return "0x76000000" }
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 "0x91000000" }
@@ -225,7 +223,6 @@ proc base_src { } {
if {[have_spec x86]} { return base-foc-pc }
if {[have_spec pbxa9]} { return base-foc-pbxa9 }
if {[have_spec arndale]} { return base-foc-arndale }
if {[have_spec rpi3]} { return base-foc-rpi3 }
if {[have_spec imx6q_sabrelite]} { return base-foc-imx6q_sabrelite }
if {[have_spec imx7d_sabre]} { return base-foc-imx7d_sabre }

4
tool/run/boot_dir/hw
View File

@@ -6,7 +6,6 @@ proc binary_name_timer { } { return "hw_timer_drv" }
proc run_boot_string { } { return "\nkernel initialized" }
proc bootstrap_link_address { } {
if {[have_spec "odroid_xu"]} { return "0x88000000" }
if {[have_spec "pbxa9"]} { return "0x70000000" }
if {[have_spec "usb_armory"]} { return "0x72000000" }
if {[have_spec "x86_64"]} { return "0x00200000" }
@@ -15,7 +14,6 @@ proc bootstrap_link_address { } {
if {[have_spec "imx53_qsb"]} { return "0x70010000" }
if {[have_spec "imx7d_sabre"]} { return "0x88000000" }
if {[have_spec "imx8q_evk"]} { return "0x40010000" }
if {[have_spec "arndale"]} { return "0x88000000" }
if {[have_spec "zynq"]} { return "0x00100000" }
if {[have_spec "riscv"]} { return "0x81000000" }
if {[have_spec "rpi"]} { return "0x00800000" }
@@ -223,10 +221,8 @@ proc base_src { } {
if {[have_spec imx7d_sabre]} { return base-hw-imx7d_sabre }
if {[have_spec imx8q_evk]} { return base-hw-imx8q_evk }
if {[have_spec nit6_solox]} { return base-hw-nit6_solox }
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 zynq_qemu]} { return base-hw-zynq_qemu }
if {[have_spec virt_qemu]} { return base-hw-virt_qemu }

3
tool/run/qemu.inc
View File

@@ -23,8 +23,7 @@ proc qemu_args { } {
proc is_qemu_available { } {
if {[expr [have_spec linux] && {"[board]"} == {"linux"}]} { return false }
if {[have_spec arndale]
|| [have_spec rpi]} {
if {[have_spec rpi]} {
puts stderr "skipping execution because platform is not supported by qemu"
return false
}