mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
8c4a2a48ca
By installing the core object to bin/, we follow the same convention as for regular binaries. This, in turn, enables us to ship core in a regular binary archive. The patch also adjusts the run tool to pick up the core object from bin/ for the final linking stage.
74 lines
1.8 KiB
Plaintext
74 lines
1.8 KiB
Plaintext
proc binary_name_ld_lib_so { } { return "ld-pistachio.lib.so" }
|
|
proc binary_name_core_o { } { return "core-pistachio.o" }
|
|
proc binary_name_timer { } { return "pit_timer_drv" }
|
|
|
|
|
|
proc run_boot_string { } { return "\n\r\033\\\[1m\033\\\[33mL4Ka::Pistachio -" }
|
|
proc core_link_address { } { return "0x02000000" }
|
|
|
|
|
|
##
|
|
# Populdate boot directory with binaries on pistachio
|
|
#
|
|
proc run_boot_dir {binaries} {
|
|
|
|
build { lib/ld/pistachio kernel/pistachio }
|
|
|
|
build_core_image $binaries
|
|
|
|
exec mkdir -p [run_dir]/pistachio
|
|
|
|
exec cp kernel/pistachio/kernel [run_dir]/pistachio
|
|
exec cp kernel/pistachio/sigma0 [run_dir]/pistachio
|
|
exec cp kernel/pistachio/kickstart [run_dir]/pistachio
|
|
|
|
if {[have_include "image/iso"] || [have_include "image/disk"]} {
|
|
|
|
#
|
|
# Install isolinux/GRUB files and bender
|
|
#
|
|
install_iso_bootloader_to_run_dir
|
|
|
|
#
|
|
# Generate grub config file
|
|
#
|
|
# The core binary is part of the 'binaries' list but it must
|
|
# appear right after 'sigma0' as boot module. Hence the special case.
|
|
#
|
|
set fh [open "[run_dir]/boot/grub/menu.lst" "WRONLY CREAT TRUNC"]
|
|
puts $fh "timeout 0"
|
|
puts $fh "default 0"
|
|
puts $fh "\ntitle Genode on L4ka::Pistachio"
|
|
puts $fh " kernel /pistachio/kickstart"
|
|
puts $fh " module /pistachio/kernel"
|
|
puts $fh " module /pistachio/sigma0"
|
|
puts $fh " module /image.elf"
|
|
close $fh
|
|
}
|
|
|
|
#
|
|
# Build image
|
|
#
|
|
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"
|
|
puts $fh " load /pistachio/kickstart"
|
|
puts $fh " load /pistachio/kernel"
|
|
puts $fh " load /pistachio/sigma0"
|
|
puts $fh " load /image.elf"
|
|
close $fh
|
|
|
|
generate_tftp_config
|
|
}
|
|
}
|