#!ipxe

:main_menu
menu iPXE boot menu

item rocky9     Install Rocky Linux 9
item local Boot from Local Disk

choose --default rocky9 --timeout 5000 selected || goto local

:rocky9
echo Booting RockyLinux from networking
kernel http://172.16.9.254/rocky/9.7/isolinux/vmlinuz \
        net.ifnames=0 biosdevname=0 \
        inst.repo=http://172.16.9.254/rocky/9.7 \
        inst.ks=http://172.16.9.254/ks/rhel.ks
initrd http://172.16.9.254/rocky/9.7/isolinux/initrd.img
boot

:local
exit