#!/bin/bash -e

source /usr/lib/grub/grub-mkconfig_lib
for i in /boot/memtest86{,+}.bin ; do
  MEMTESTPATH=$( make_system_path_relative_to_its_root "$i" )
  echo "Found Memtest86 image: $i" >&2
  cat << EOF
menuentry "$(basename "$i" .bin)" {
EOF
  prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/g"
  cat << EOF
	linux16	"${MEMTESTPATH}"
}
EOF
done