#!ipxe

isset ${menu_default} || set menu_default rhde
isset ${menu_timeout} || set menu_timeout 30000

menu iPXE Menu
item --key 0 rhde-baremetal        [0] Install Red Hat Device Edge - Baremetal
item
item --key r reboot                [R] Reboot computer
item --key x exit                  [X] Exit iPXE and continue BIOS boot
choose --timeout ${menu_timeout} --default ${menu_default} selected
goto ${selected}

:reboot
reboot

:exit
exit

:rhde-baremetal
initrd ${rhel9_url}/images/pxeboot/initrd.img
kernel ${rhel9_url}/images/pxeboot/vmlinuz initrd=initrd.img ip=dhcp inst.repo=${rhel9_url} inst.ks=${kickstart_url}/baremetal.ks ${rhde_options}
boot