denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

tool/run/boot_dir/hw: fix iPXE boot

Browse Source
This commit is contained in:
Josef Söntgen
2023-07-06 13:01:21 +02:00
committed by Norman Feske
parent 647631af09
commit d6da06913e
1 changed files with 2 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
tool/run/boot_dir/hw
View File

@@ -172,19 +172,9 @@ proc run_boot_dir {binaries} {
}
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"
install_pxe_bootloader_to_run_dir
puts $fh "kernel boot/bender $options_bender"
puts $fh "module boot/image.elf"
puts $fh "boot"
close $fh
create_ipxe_config
update_ipxe_boot_dir
create_symlink_for_iso
}
}