#!/bin/sh
cat <<EOF
if [ "\$grub_platform" = "efi" ]; then
menuentry "Memtest86" {
search --set=root --no-floppy --fs-uuid @UUID@
chainloader /EFI/memtest86/memtest@ARCH@.efi
}
fi
EOF