From d6da06913edfbcaca471613b795b6cebc4b52aad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 6 Jul 2023 13:01:21 +0200
Subject: [PATCH] tool/run/boot_dir/hw: fix iPXE boot

---
 tool/run/boot_dir/hw | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index bb8b31f1d2..f85cdcd9bb 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -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
 	}
 }