2023-01-02 16:40:17 -01:00
|
|
|
if [ "${grub_platform}" = "pc" ] -a [ -e @MEMTEST_DIR@/memtest ]; then
|
|
|
|
# Legacy 16-bit memtest
|
2022-11-01 03:55:14 -01:00
|
|
|
menuentry "Memory Diagnostic Tool (@MEMTEST_VERSION@)" --hotkey=m {
|
2023-01-02 16:40:17 -01:00
|
|
|
linux16 @MEMTEST_DIR@/memtest
|
|
|
|
}
|
|
|
|
elif [ "${grub_platform}" = "pc" ] -a [ -e @MEMTEST_DIR@/memtest.bin ]; then
|
|
|
|
menuentry "Memory Diagnostic Tool (@MEMTEST_VERSION@)" --hotkey=m {
|
|
|
|
linux @MEMTEST_DIR@/memtest.bin
|
2022-11-01 03:55:14 -01:00
|
|
|
}
|
|
|
|
elif [ "${grub_platform}" = "efi" ] -a [ -e @MEMTEST_DIR@/memtest.efi ]; then
|
|
|
|
menuentry "Memory Diagnostic Tool (@MEMTEST_VERSION@)" --hotkey=m {
|
2023-01-02 16:40:17 -01:00
|
|
|
linux @MEMTEST_DIR@/memtest.efi
|
2022-11-01 03:55:14 -01:00
|
|
|
}
|
|
|
|
fi
|