#!ipxe set menu fedora set version 16 set bt ks