Not booting

Not booting

[Kete Foy]

[-- Attachment #1.1: Type: text/plain, Size: 670 bytes --]

Hello, I have failed to boot GuixSD both with and without an encrypted
/home partition.

The message I got was, "error: file '/vmlinuz' not found
"Failed to boot both default and fallback entries"

The installations finished without an error.

From the default config, I changed the host-name, timezone, bootloader
device, file-system label, user-account name, user-account comment, and
user-account home-directory.

I mounted the partition using the installation drive and searched for
vmlinuz, but 'find /mnt -name "*vmlinuz*"' found nothing.
-- 
https://emailselfdefense.fsf.org
Key fingerprint = D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 801 bytes --]

Re: Not booting

[Alex Kost]

Kete Foy (2016-06-21 23:44 +0300) wrote:

> Hello, I have failed to boot GuixSD both with and without an encrypted
> /home partition.
>
> The message I got was, "error: file '/vmlinuz' not found
> "Failed to boot both default and fallback entries"
>
> The installations finished without an error.
>
> From the default config, I changed the host-name, timezone, bootloader
> device, file-system label, user-account name, user-account comment, and
> user-account home-directory.

Perhaps the bootloader device you wrote does not exist.  Could you paste
your config?  Also did you maybe use "--no-grub" option (for "guix
system") and configured your grub manually?

-- 
Alex

Re: Not booting

[Kete Foy]

[-- Attachment #1.1.1: Type: text/plain, Size: 548 bytes --]

Alex Kost:
> Perhaps the bootloader device you wrote does not exist.  Could you paste
> your config?  Also did you maybe use "--no-grub" option (for "guix
> system") and configured your grub manually?
> 
Thanks, the config is attached.
I used lsblk to make sure the device label was correct.
/dev/sda was the disc used in parted.
I did not use --no-grub, but I am willing to try.
I used --fallback because wicd wasn't available.
-- 
https://emailselfdefense.fsf.org
Key fingerprint = D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.1.2: config.scm --]
[-- Type: text/x-scheme; name="config.scm", Size: 1632 bytes --]

;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce.

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop)
(use-package-modules certs)

(operating-system
  (host-name "kantelope")
  (timezone "America/New_York")
  (locale "en_US.UTF-8")

  ;; Assuming /dev/sdX is the target hard disk, and "my-root"
  ;; is the label of the target root file system.
  (bootloader (grub-configuration (device "/dev/sda")))
  (file-systems (cons (file-system
                        (device "rootfs")
                        (title 'label)
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))

  (users (cons (user-account
                (name "kete")
                (comment "")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/kete"))
               %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs         ;for HTTPS access
                   %base-packages))

  ;; Add GNOME and/or Xfce---we can choose at the log-in
  ;; screen with F1.  Use the "desktop" services, which
  ;; include the X11 log-in service, networking with Wicd,
  ;; and more.
  (services (cons* (gnome-desktop-service)
                   (xfce-desktop-service)
                   %desktop-services))

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 801 bytes --]

Re: Not booting

[Alex Kost]

Kete Foy (2016-06-22 18:41 +0300) wrote:

> Alex Kost:
>> Perhaps the bootloader device you wrote does not exist.  Could you paste
>> your config?  Also did you maybe use "--no-grub" option (for "guix
>> system") and configured your grub manually?
>>
> Thanks, the config is attached.
> I used lsblk to make sure the device label was correct.

OK, just to make sure could you also look if this gives your "rootfs"
label:

  # e2label /dev/sdaN

> The message I got was, "error: file '/vmlinuz' not found
> "Failed to boot both default and fallback entries"

I realized that this error doesn't make sense: there is no any "vmlinuz"
in GuixSD.  IIUC this error appears after grub tried to boot one of its
entries, right?  What is the name of this grub entry?

I have a feeling that you see an error from a grub that wasn't installed
by guix.  My guess is: it tries to load some other distro and doesn't
find its kernel (which is called "vmlinuz").

Probably the grub wasn't installed by GuixSD, and an old grub (from a
previous distro) left.  Did you see any error during "guix system init"?

-- 
Alex

Re: Not booting

[Kete Foy]

[-- Attachment #1.1: Type: text/plain, Size: 591 bytes --]

Alex Kost:
> OK, just to make sure could you also look if this gives your "rootfs"
> label:
> 
>   # e2label /dev/sdaN

That did. I checked with cfdisk, and the boot flag is on. cfdisk also
showed the partition label. The disk label/table came as dos.

> there is no any "vmlinuz"
> in GuixSD.  IIUC this error appears after grub tried to boot one of its
> entries, right?

I need to do this:
https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
-- 
https://emailselfdefense.fsf.org
Key fingerprint = D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 801 bytes --]

Re: Not booting

[Kete Foy]

[-- Attachment #1.1: Type: text/plain, Size: 362 bytes --]

Kete Foy:
> 
> I need to do this:
> https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
> 
This worked for me by just copying grub.cfg to libreboot_grub.cfg. (in
/boot/grub after mounting /dev/sda1 using installation drive)
-- 
https://emailselfdefense.fsf.org
Key fingerprint = D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 801 bytes --]

Re: Not booting

[Ludovic Courtès]

Hi,

Kete Foy <kete@ninthfloor.org> skribis:

> Kete Foy:
>> 
>> I need to do this:
>> https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
>> 
> This worked for me by just copying grub.cfg to libreboot_grub.cfg. (in
> /boot/grub after mounting /dev/sda1 using installation drive)

That rings a bell.  I think Mark (Cc’d) had a patch so that ‘guix
system’ would do that automatically on LibreBoot systems.  Mark?

Ludo’.

Re: Not booting

[Mark H Weaver]

ludo@gnu.org (Ludovic Courtès) writes:

> Kete Foy <kete@ninthfloor.org> skribis:
>
>> Kete Foy:
>>> 
>>> I need to do this:
>>> https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
>>> 
>> This worked for me by just copying grub.cfg to libreboot_grub.cfg. (in
>> /boot/grub after mounting /dev/sda1 using installation drive)
>
> That rings a bell.  I think Mark (Cc’d) had a patch so that ‘guix
> system’ would do that automatically on LibreBoot systems.  Mark?

I never produced a patch, I just created the symlink manually on my
Libreboot systems during the initial install.  However, looking at the
current libreboot git sources, it seems that this is no longer needed.
If grub.cfg is found, it should auto-load that in the default entry.

If I'm mistaken, please let me know :)

      Mark

Re: Not booting

[Ludovic Courtès]

Mark H Weaver <mhw@netris.org> skribis:

> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Kete Foy <kete@ninthfloor.org> skribis:
>>
>>> Kete Foy:
>>>> 
>>>> I need to do this:
>>>> https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
>>>> 
>>> This worked for me by just copying grub.cfg to libreboot_grub.cfg. (in
>>> /boot/grub after mounting /dev/sda1 using installation drive)
>>
>> That rings a bell.  I think Mark (Cc’d) had a patch so that ‘guix
>> system’ would do that automatically on LibreBoot systems.  Mark?
>
> I never produced a patch, I just created the symlink manually on my
> Libreboot systems during the initial install.  However, looking at the
> current libreboot git sources, it seems that this is no longer needed.
> If grub.cfg is found, it should auto-load that in the default entry.

Even better.  Thanks for the info!

Ludo’.

Re: Not booting

[Chris Marusich]

[-- Attachment #1: Type: text/plain, Size: 528 bytes --]

Kete Foy <kete@ninthfloor.org> writes:

> Kete Foy:
>> 
>> I need to do this:
>> https://libreboot.org/docs/gnulinux/grub_cbfs.html#option1_dont_reflash
>> 
> This worked for me by just copying grub.cfg to libreboot_grub.cfg. (in
> /boot/grub after mounting /dev/sda1 using installation drive)

Are you using a recent version of libreboot?  I'm using a recent
development version (not the latest release as of now), and I do not
have to rename the grub.cfg file to libreboot_grub.cfg.  It just works.

-- 
Chris

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 818 bytes --]

Re: Not booting

[Kete Foy]

[-- Attachment #1.1: Type: text/plain, Size: 478 bytes --]

Chris Marusich:
> Are you using a recent version of libreboot?  I'm using a recent
> development version (not the latest release as of now), and I do not
> have to rename the grub.cfg file to libreboot_grub.cfg.  It just works.
> 
No, I haven't reflashed yet. Maybe they'll make a stable release before
I try :-P I'll be away from the computer for a few weeks.
-- 
https://emailselfdefense.fsf.org
gpg --recv-key 'D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A'


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 801 bytes --]