Re: Unable to boot GuixSD USB stick

[良ϖ]

I've got some new stuff:

Using Grub2 command line I am able to invoke `ls` to see all available
device / partitions and guixsd bootable partition is present as
(hd0,msdos1).

So I want to boot Linux manually from Grub2 command line.
set root=(hd0,msdos1)

Next steps are to set boot files and boot prompt. I found nothing like
"vmlinuz" at the root (it would be too easy) but after some meandering
I find the two files /boot/grub/i386-pc/core.img and
/boot/grub/i386-pc/boot.img

linux /boot/grub/i386-pc/core.img
returns error: "invalid magic number"

linux /boot/grub/i386-pc/boot.img
returns error: "unexpected end of file /boot/grub/i386-pc/boot.img"

I have some questions:
- Where in the bootable partition is the boot file I should launch?
- If this boot file is core.img, how should I fix this magic number?
- If this boot file is boot.img, how do I make sure the file has been
correctly copied?
- Is the image really usable "out of the box" or does it require some tuning?

Thanks in advance.

piotr

On 09/04/2017, 良ϖ <address@hidden> wrote:
> Hi,
>
> I've followed instructions on this page:
> https://www.gnu.org/software/guix/manual/html_node/USB-Stick-Installation.html#USB-Stick-Installation
>
> everything goes smoothly and at the end I get a partition named
> "gnu-disk-image" with flag "boot". Sounds good. When I mount it it's a
> classical GNU / Linux root with folders bin, root, dev, etc, gnu,
> home, mnt, root, run, tmp and var.
>
> However when I reboot the key isn't recognised by my laptop so I'm
> unable to install it :'(
>
> Any ideas how I could solve that?
>
> Thanks in advance,
>
> piotr
>