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

Add support for BeagleBoard-X15 with Fiasco.OC

Browse Source
This commit is contained in:
Alexander
2019-08-22 15:45:33 +02:00
parent acdbc1f6f8
commit ddea5924ad
9 changed files with 216 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tool/create_builddir
View File

@@ -12,7 +12,7 @@ PLATFORM = $(MAKECMDGOALS)
PLATFORMS = x86_32 x86_64 panda pbxa9 rpi arndale imx53_qsb imx53_qsb_tz \
usb_armory wand_quad sabre_lite odroid_xu odroid_x2 zynq_qemu muen \
riscv_spike linux
riscv_spike linux bb_x15
PLATFORMS_DEPR = linux_x86 linux_arm fiasco_x86 okl4_x86 pistachio_x86 \
nova_x86_32 nova_x86_64 hw_x86_64 foc_x86_32 foc_x86_64 \
@@ -151,6 +151,7 @@ BUILD_CONF(zynq_qemu) := run_kernel_hw run_qemu run_opt_hw run_boot_dir qemu_
BUILD_CONF(muen) := run_kernel_hw run_opt_muen run_boot_dir repos repos_x86
BUILD_CONF(riscv_spike) := run_kernel_hw run_opt_spike run_boot_dir repos
BUILD_CONF(linux) := run_kernel_linux repos
BUILD_CONF(bb_x15) := run_kernel_foc run_boot_dir repos
# deprecated platforms, to be removed
BUILD_CONF(linux_x86) := run_kernel_linux repos
@@ -235,6 +236,7 @@ SPECS(zynq_qemu) := zynq_qemu
SPECS(muen) := muen x86_64
SPECS(riscv_spike) := riscv
SPECS(linux) := $(HOST_SPEC_ARCH)
SPECS(bb_x15) := bb_x15
# deprecated platforms
SPECS(linux_x86) := $(HOST_SPEC_ARCH)

1
tool/run/boot_dir/foc
View File

@@ -17,6 +17,7 @@ proc core_link_address { } {
if {[have_spec odroid_x2]} { return "0x80100000" }
if {[have_spec imx53 ]} { return "0x70140000" }
if {[have_spec imx6 ]} { return "0x10200000" }
if {[have_spec bb_x15 ]} { return "0x80200000" }
puts stderr "Error: platform not supported, core link address unknown"
exit 1