mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
76828f25c5
By default, bender will not report any serial findings anymore, if not explicitly asked for with the 'serial' option. Without this option, an invalid ioport is reported, so that neither the kernel nor Genode core will make serial output.
123 lines
3.3 KiB
Plaintext
123 lines
3.3 KiB
Plaintext
proc binary_name_ld_lib_so { } { return "ld-fiasco.lib.so" }
|
|
proc binary_name_core_a { } { return "core-fiasco.a" }
|
|
proc binary_name_timer { } { return "fiasco_timer_drv" }
|
|
|
|
proc kernel_files { } { return { fiasco sigma0-fiasco bootstrap-fiasco } }
|
|
|
|
proc fiasco_serial_esc_arg { } { return "-serial_esc " }
|
|
proc run_boot_string { } { return "\nL4 Bootstrapper" }
|
|
proc core_link_address { } { return "0x01000000" }
|
|
|
|
proc boot_output { } { return "serial" }
|
|
|
|
|
|
##
|
|
# Populate boot directory with binaries on fiasco
|
|
#
|
|
proc run_boot_dir {binaries} {
|
|
|
|
#
|
|
# Build kernel and dynamic linker on demand, if not yet present in
|
|
# '[run_dir]/genode/'
|
|
#
|
|
set kernel_arg ""
|
|
set ld_arg ""
|
|
if {![file exists [run_dir]/genode/fiasco]} { set kernel_arg "kernel/fiasco" }
|
|
if {![file exists [run_dir]/genode/ld.lib.so]} { set ld_arg "lib/ld-fiasco" }
|
|
set targets "$kernel_arg $ld_arg"
|
|
|
|
if {[llength $targets]} { build $targets }
|
|
|
|
if {$kernel_arg != ""} {
|
|
copy_file [pwd]/bin/fiasco [run_dir]/genode/fiasco
|
|
copy_file [pwd]/bin/sigma0-fiasco [run_dir]/genode/sigma0-fiasco
|
|
copy_file [pwd]/bin/bootstrap-fiasco [run_dir]/genode/bootstrap-fiasco
|
|
}
|
|
|
|
build_core_image $binaries
|
|
|
|
#
|
|
# Move kernel files to distinct location within the boot directory so that
|
|
# we can remove [run_dir]/genode after the core image has been built.
|
|
#
|
|
exec mkdir -p [run_dir]/boot
|
|
copy_file [run_dir]/genode/fiasco [run_dir]/boot/kernel
|
|
copy_file [run_dir]/genode/sigma0-fiasco [run_dir]/boot/sigma0
|
|
copy_file [run_dir]/genode/bootstrap-fiasco [run_dir]/boot/bootstrap
|
|
remove_genode_dir
|
|
|
|
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf
|
|
|
|
if {[have_include "image/iso"] || [have_include "image/disk"]} {
|
|
|
|
if {[have_include "image/disk"]} {
|
|
install_disk_bootloader_to_run_dir
|
|
}
|
|
|
|
if {[have_include "image/iso"]} {
|
|
install_iso_bootloader_to_run_dir
|
|
}
|
|
|
|
#
|
|
# Generate GRUB2 config file
|
|
#
|
|
set fh [create_header_grub2_config]
|
|
|
|
# The core binary is part of the 'binaries' list but it must
|
|
# appear right after 'sigma0' as boot module. Hence the special case.
|
|
#
|
|
puts $fh "menuentry 'Genode on L4/Fiasco' {"
|
|
puts $fh " insmod multiboot"
|
|
puts $fh " multiboot /boot/bender [boot_output]"
|
|
puts $fh " module /boot/bootstrap -serial"
|
|
puts $fh " module /boot/kernel -serial -jdb_cmd=JH [fiasco_serial_esc_arg]"
|
|
puts $fh " module /boot/sigma0"
|
|
puts $fh " module /boot/image.elf"
|
|
puts $fh "}"
|
|
close $fh
|
|
}
|
|
|
|
run_image
|
|
|
|
if {[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"]
|
|
puts $fh " exec /boot/bender [boot_output]"
|
|
puts $fh " load /boot/bootstrap -serial"
|
|
puts $fh " load /boot/kernel -serial -serial_esc -jdb_cmd=JH"
|
|
puts $fh " load /boot/sigma0"
|
|
puts $fh " load /boot/image.elf"
|
|
close $fh
|
|
|
|
generate_tftp_config
|
|
}
|
|
|
|
if {[have_include "load/ipxe"]} {
|
|
create_ipxe_config
|
|
update_ipxe_boot_dir
|
|
create_symlink_for_iso
|
|
}
|
|
}
|
|
|
|
|
|
##
|
|
# Base source archive within depot
|
|
#
|
|
proc base_src { } {
|
|
|
|
if {[have_spec x86_32]} { return base-fiasco }
|
|
|
|
global specs
|
|
|
|
puts stderr "Test requires base-fiasco kernel archive, which is missing for this build configuration"
|
|
puts stderr " SPECS=\"$specs\""
|
|
exit 0
|
|
}
|