DEFAULT linux
LABEL linux
    KERNEL /vmlinuz64
    INITRD /initrd.img
    APPEND earlyprintk=ttyS0,115200 console=ttyS0,115200