| #!/bin/sh | |
| . /usr/share/grub/grub-mkconfig_lib | |
| memtest=/boot/memtest86/memtest | |
| if [ -f "${memtest}" ]; then | |
| device="$("${grub_probe}" --target=device "${memtest}")" | |
| path="$(make_system_path_relative_to_its_root "${memtest}")" | |
| cat <<EOF | |
| menuentry "MemTest86" { | |
| EOF | |
| prepare_grub_to_access_device "${device}" | grub_add_tab | |
| cat <<EOF | |
| linux16 "${path}" | |
| } | |
| EOF | |
| fi |