> 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? -- Pierre Neidhardt https://ambrevar.xyz/
signature.asc
Description: PGP signature
