mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
dd9e12601e
Thanks to the change "build: support library builds via lib/<libname>", shared libraries can now be built directly by the build system. Issue #4599
75 lines
2.0 KiB
Plaintext
75 lines
2.0 KiB
Plaintext
proc binary_name_ld_lib_so { } { return "ld-linux.lib.so" }
|
|
proc binary_name_core { } { return "core-linux" }
|
|
proc binary_name_timer { } { return "linux_timer_drv" }
|
|
|
|
|
|
##
|
|
# Populate boot directory with binaries on Linux
|
|
#
|
|
proc run_boot_dir {binaries} {
|
|
|
|
set missing_boot_modules { }
|
|
foreach binary $binaries {
|
|
|
|
set src_binary_path "[pwd]/bin/[kernel_specific_binary $binary]"
|
|
|
|
set dst_binary "[kernel_specific_binary $binary]"
|
|
if {$dst_binary == "core-linux"} { set dst_binary "core" }
|
|
if {$dst_binary == "ld-linux.lib.so"} { set dst_binary "ld.lib.so" }
|
|
if {$dst_binary == "linux_timer_drv"} { set dst_binary "timer" }
|
|
|
|
if {[file exists $src_binary_path]} {
|
|
exec ln -sf $src_binary_path [run_dir]/genode/$dst_binary
|
|
} else {
|
|
lappend missing_boot_modules $binary
|
|
}
|
|
}
|
|
if {[llength $missing_boot_modules]} {
|
|
puts stderr "Missing boot modules: $missing_boot_modules"
|
|
exit -1
|
|
}
|
|
|
|
# check syntax of all boot modules named *.config
|
|
foreach file [glob -nocomplain [run_dir]/genode/*.config] {
|
|
check_xml_syntax $file }
|
|
|
|
# Save config part of the image.elf for easy inspection
|
|
exec cp -f [run_dir]/genode/config [run_dir].config
|
|
|
|
if {[have_board pc]} {
|
|
|
|
build_initrd $binaries
|
|
|
|
copy_file [genode_dir]/tool/boot/vmlinuz [run_dir]/vmlinuz
|
|
|
|
if {[have_include "image/iso"]} {
|
|
install_iso_bootloader_to_run_dir
|
|
}
|
|
|
|
if {[have_include "image/uefi"]} {
|
|
|
|
exec mkdir -p [run_dir]/efi/boot
|
|
exec cp [get_grub2_dir]/boot/grub2/grub2_32.efi [run_dir]/efi/boot/bootia32.efi
|
|
exec cp [get_grub2_dir]/boot/grub2/grub2_64.efi [run_dir]/efi/boot/bootx64.efi
|
|
exec mkdir -p [run_dir]/boot/grub
|
|
}
|
|
|
|
set fh [open "[run_dir]/boot/grub/grub.cfg" "WRONLY CREAT TRUNC"]
|
|
puts $fh "set timeout=0"
|
|
puts $fh "menuentry 'Genode on Linux' {"
|
|
puts $fh " insmod linux"
|
|
puts $fh " linux /vmlinuz console=ttyS0,115200 amd_iommu=off intel_iommu=off"
|
|
puts $fh " initrd /initrd"
|
|
puts $fh "}"
|
|
close $fh
|
|
|
|
run_image
|
|
}
|
|
}
|
|
|
|
|
|
##
|
|
# Base source archive within depot
|
|
#
|
|
proc base_src { } { return base-linux }
|