2015-01-08 21:08:48 +00:00
|
|
|
##
|
|
|
|
|
# Install files needed to create a bootable ISO image
|
|
|
|
|
#
|
2017-09-20 20:56:00 +00:00
|
|
|
# The ISO boot concept uses GRUB2 and xorriso to boot from ISO and USB stick.
|
2015-01-08 21:08:48 +00:00
|
|
|
#
|
2017-09-20 20:56:00 +00:00
|
|
|
|
|
|
|
|
source [genode_dir]/tool/run/grub2.inc
|
|
|
|
|
|
2015-01-08 21:08:48 +00:00
|
|
|
proc install_iso_bootloader_to_run_dir { } {
|
|
|
|
|
puts "install bootloader"
|
|
|
|
|
|
2017-09-20 20:56:00 +00:00
|
|
|
set grub2_path [get_grub2_dir]
|
2015-01-08 21:08:48 +00:00
|
|
|
|
2017-09-20 20:56:00 +00:00
|
|
|
exec mkdir -p [run_dir]/boot/grub/i386-pc
|
|
|
|
|
exec cp $grub2_path/boot/grub2/eltorito.img [run_dir]/boot/grub/i386-pc/.
|
2015-01-08 21:08:48 +00:00
|
|
|
|
2022-10-26 12:19:40 +00:00
|
|
|
set filelist [glob -nocomplain $grub2_path/boot/grub2/*.mod]
|
|
|
|
|
foreach file $filelist {
|
|
|
|
|
file copy $file [run_dir]/boot/grub/i386-pc/.
|
|
|
|
|
}
|
|
|
|
|
|
2015-01-08 21:08:48 +00:00
|
|
|
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
|
2023-01-25 13:02:16 +00:00
|
|
|
exec cp $grub2_path/boot/font.pf2 [run_dir]/boot/font.pf2
|
2015-01-08 21:08:48 +00:00
|
|
|
}
|
