DEFAULT smp64.k

PROMPT 1
TIMEOUT 900
DISPLAY isolinux_64b.txt
F1 isolinux_64b.txt
F2 f2_64b.txt

LABEL smp64.k
  KERNEL /kernels/64b/smp64/vmlinuz
  append initrd=initrd_64b.img DKERNEL=smp64.k