On Sat, 29 Sep 2018 14:50:37 +0200
Pierre Neidhardt <mail@ambrevar.xyz> wrote:

> > You can build it manually for now¹ or download a precompiled
> > binary² and boot it from your existing GRUB's command line.  
> 
> Actually, how do you do that?
> 
> I copied the binary to `/memtest.bin` then rebooted and tried the
> following Grub command (my root partition is labelled "guixsd"):
> 
> --8<---------------cut here---------------start------------->8---
> search --label --set=root guixsd
> linux16 /memtest.bin
> --8<---------------cut here---------------end--------------->8---
> 
> Then grub complains, if I recall correctly:
> 
> --8<---------------cut here---------------start------------->8---
> error: premature end of file.
> --8<---------------cut here---------------end--------------->8---
> 
> Any idea?
> 

Do you have UEFI? I read that Memtest86+ does not work with (U)EFI,
only the commercial/free (as in beer) versions of Memtest86 work with
UEFI:

https://askubuntu.com/questions/917961/can-i-boot-memtest86-if-im-using-uefi

https://wiki.ubuntuusers.de/memtest/ (German)

Though that's just what I read, I have no further knowledge/experience
with it.

Björn