mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 19:20:09 +00:00
b765cef359
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.
227 lines
7.4 KiB
Plaintext
227 lines
7.4 KiB
Plaintext
proc binary_name_ld_lib_so { } { return "ld-hw.lib.so" }
|
|
proc binary_name_core_o { } { return "core-hw.o" }
|
|
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" }
|
|
if {[have_spec "wand_quad"]} { return "0x10001000" }
|
|
if {[have_spec "imx6q_sabrelite"]} { return "0x10001000" }
|
|
if {[have_spec "imx53_qsb"]} { return "0x70010000" }
|
|
if {[have_spec "arndale"]} { return "0x88000000" }
|
|
if {[have_spec "panda"]} { return "0x88000000" }
|
|
if {[have_spec "zynq"]} { return "0x00100000" }
|
|
if {[have_spec "riscv"]} { return "0x81000000" }
|
|
if {[have_spec "rpi"]} { return "0x00800000" }
|
|
|
|
puts "unknown platform no linker address known"
|
|
exit -1
|
|
}
|
|
|
|
proc core_link_address { } {
|
|
if {[have_spec "64bit"]} { return "0xffffffc000000000" }
|
|
if {[have_spec "32bit"]} { return "0x80000000" }
|
|
return 0;
|
|
}
|
|
|
|
|
|
##
|
|
# Populate boot directory with binaries on hw
|
|
#
|
|
proc run_boot_dir {binaries} {
|
|
|
|
# generate static ACPI report for platform driver on Muen
|
|
if {[have_spec "muen"]} {
|
|
set fh [open "bin/acpi" "WRONLY CREAT TRUNC"]
|
|
puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/><drhd/></acpi>"
|
|
close $fh
|
|
}
|
|
|
|
#
|
|
# Build bootstrap, the core object, and the dynamic linker on demand
|
|
#
|
|
# If those parts were imported from the depot, the build step is skipped.
|
|
#
|
|
set bootstrap_arg ""
|
|
set core_arg ""
|
|
set ld_arg ""
|
|
|
|
if {![file exists [run_dir]/genode/ld.lib.so]} { set ld_arg lib/ld/hw }
|
|
if {![file exists [run_dir]/genode/core-hw.o]} { set core_arg core/hw }
|
|
if {![file exists [run_dir]/genode/bootstrap-hw.o]} { set bootstrap_arg bootstrap/hw }
|
|
|
|
set build_args "$bootstrap_arg $core_arg $ld_arg"
|
|
if {[llength $build_args]} { build $build_args }
|
|
|
|
if {$ld_arg != ""} { file copy -force bin/ld-hw.lib.so [run_dir]/genode/ld.lib.so }
|
|
if {$core_arg != ""} { file copy -force bin/core-hw.o [run_dir]/genode/core-hw.o }
|
|
if {$bootstrap_arg != ""} { file copy -force bin/bootstrap-hw.o [run_dir]/genode/bootstrap-hw.o }
|
|
|
|
#
|
|
# Copy specified modules to the run directory, excluding core.
|
|
#
|
|
set idx [lsearch $binaries "core"]
|
|
set modules [lreplace $binaries $idx $idx]
|
|
copy_genode_binaries_to_run_dir $modules
|
|
|
|
puts "core link address is [core_link_address]"
|
|
|
|
set core_obj core-hw.o
|
|
set bootstrap_obj bootstrap-hw.o
|
|
|
|
# create core and bootstrap binary without modules for debugging
|
|
if {[file exists debug/$core_obj]} {
|
|
build_core debug/$core_obj {} [run_dir].core [core_link_address]
|
|
build_core [run_dir]/genode/$bootstrap_obj {} [run_dir].bootstrap [bootstrap_link_address]
|
|
}
|
|
|
|
# determine modules to be incorporated into the core image
|
|
set modules [glob -tails -directory [run_dir]/genode/ *]
|
|
set excluded_modules {}
|
|
lappend excluded_modules $core_obj $bootstrap_obj
|
|
foreach excluded $excluded_modules {
|
|
set modules [lsearch -inline -not -all $modules $excluded] }
|
|
|
|
# check syntax of all boot modules named *.config
|
|
foreach file [glob -nocomplain [run_dir]/genode/*.config] {
|
|
check_xml_syntax $file }
|
|
|
|
# create core binary containing the boot modules
|
|
build_core [run_dir]/genode/$core_obj $modules [run_dir]/genode/core.elf [core_link_address]
|
|
exec [cross_dev_prefix]strip [run_dir]/genode/core.elf
|
|
build_core [run_dir]/genode/$bootstrap_obj { core.elf } [run_dir]/image.elf [bootstrap_link_address]
|
|
remove_genode_dir
|
|
exec [cross_dev_prefix]strip [run_dir]/image.elf
|
|
|
|
exec mkdir -p [run_dir]/boot
|
|
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf
|
|
|
|
if {[have_include "image/iso"] || [have_include "image/disk"] || [have_include image/uefi]} {
|
|
#
|
|
# Compress Genode image, to be uncompressed by GRUB
|
|
#
|
|
exec gzip [run_dir]/boot/image.elf
|
|
|
|
set serial_bender_opt ""
|
|
|
|
if {[have_include "image/disk"]} {
|
|
exec mkdir -p [run_dir]/boot/grub
|
|
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
|
|
}
|
|
|
|
if {[have_include "image/iso"]} {
|
|
install_iso_bootloader_to_run_dir
|
|
}
|
|
|
|
if {[have_include image/uefi]} {
|
|
set grub2_path [get_grub2_dir]
|
|
|
|
exec mkdir -p [run_dir]/efi/boot
|
|
exec cp $grub2_path/boot/grub2/grub2_32.efi [run_dir]/efi/boot/bootia32.efi
|
|
exec cp $grub2_path/boot/grub2/grub2_64.efi [run_dir]/efi/boot/bootx64.efi
|
|
exec mkdir -p [run_dir]/boot/grub
|
|
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
|
|
|
|
set serial_bender_opt "serial_fallback"
|
|
}
|
|
|
|
#
|
|
# Generate GRUB2 config file
|
|
#
|
|
set fh [open "[run_dir]/boot/grub/grub.cfg" "WRONLY CREAT TRUNC"]
|
|
puts $fh "set timeout=0"
|
|
# tell grub2 to prefer 32bit framebuffer resolution
|
|
puts $fh "set gfxpayload=\"0x0x32\""
|
|
puts $fh "menuentry 'Genode on base-hw' {"
|
|
puts $fh " insmod multiboot2"
|
|
puts $fh " multiboot2 /boot/bender $serial_bender_opt"
|
|
puts $fh " module2 /boot/image.elf.gz image.elf"
|
|
puts $fh "}"
|
|
close $fh
|
|
}
|
|
|
|
run_image [run_dir]/boot/image.elf
|
|
|
|
# set symbolic link to image.elf file in TFTP directory for PXE boot
|
|
if {[have_spec arm] && [have_include "load/tftp"]} {
|
|
exec ln -sf [run_dir]/boot/image.elf [load_tftp_base_dir][load_tftp_offset_dir]
|
|
|
|
if {[have_include "image/uboot"]} {
|
|
exec ln -sf [pwd]/[run_dir]/uImage [load_tftp_base_dir][load_tftp_offset_dir]
|
|
}
|
|
}
|
|
|
|
if {[have_spec x86] && [have_include "load/tftp"]} {
|
|
#
|
|
# Install PXE bootloader pulsar
|
|
#
|
|
install_pxe_bootloader_to_run_dir
|
|
|
|
#
|
|
# Generate pulsar config file
|
|
#
|
|
set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
|
|
if {[have_spec "muen"]} {
|
|
exec gzip [run_dir]/image.bin
|
|
puts $fh " exec /boot/unzip"
|
|
puts $fh " load /image.bin.gz"
|
|
} else {
|
|
puts $fh " exec /boot/bender"
|
|
puts $fh " load /boot/image.elf"
|
|
}
|
|
close $fh
|
|
|
|
generate_tftp_config
|
|
}
|
|
|
|
if {[have_spec x86] && [have_include "load/ipxe"]} {
|
|
#
|
|
# Generate iPXE config file
|
|
#
|
|
set fh [open "[run_dir]/boot.cfg" "WRONLY CREAT TRUNC"]
|
|
puts $fh "#!ipxe"
|
|
|
|
if {[have_spec "muen"]} {
|
|
puts $fh "kernel image.bin"
|
|
} else {
|
|
install_pxe_bootloader_to_run_dir
|
|
puts $fh "kernel boot/bender"
|
|
puts $fh "module boot/image.elf"
|
|
}
|
|
puts $fh "boot"
|
|
close $fh
|
|
|
|
update_ipxe_boot_dir
|
|
}
|
|
}
|
|
|
|
|
|
##
|
|
# Base source archive within depot
|
|
#
|
|
proc base_src { } {
|
|
|
|
if {[have_spec x86_64] && ![have_spec muen]} { return base-hw-pc }
|
|
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 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 }
|
|
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 panda]} { return base-hw-panda }
|
|
if {[have_spec zynq_qemu]} { return base-hw-zynq_qemu }
|
|
|
|
global specs
|
|
|
|
puts stderr "Test requires base-hw kernel archive, which is missing for this build configuration"
|
|
puts stderr " SPECS=\"$specs\""
|
|
exit 0
|
|
}
|