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

run/load/ipxe: support ISO and UEFI images

Browse Source 
Patch by Roman Iten and Pirmin Duss.
This commit is contained in:
Christian Helmuth
2022-07-08 09:16:06 +02:00
parent 789a60278c
commit 427f3bb634
5 changed files with 32 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run/boot_dir/nova
View File

@@ -47,7 +47,7 @@ proc run_boot_dir {binaries} {
if {$ld_arg != ""} { copy_file bin/ld-nova.lib.so [run_dir]/genode/ld.lib.so }
#
# Collect contents of the ISO image
# Collect contents of the boot image
#
build_core_image $binaries
@@ -177,7 +177,7 @@ proc run_boot_dir {binaries} {
}
if {[have_include "load/ipxe"]} {
create_ipxe_iso_config
create_ipxe_config
update_ipxe_boot_dir
create_symlink_for_iso
}