Re: Unable to boot installer (i686)

Thanks Felix, I will try your advice. I don't know as much about GRUB as I seemed. Those were just some commands that I found. I have entered commands before, but I'm a novice. On Jan 31, 2024 at 10:14 AM, Felix Lechner wrote:Hi Kete, On Sun, Jan 28 2024, Kete Foy via wrote: &g

Re: Unable to boot installer (i686)

Thanks for the warning On Feb 2, 2024 at 9:14 AM, Felix Lechner wrote:Hi Kete, On Fri, Feb 02 2024, Kete Foy wrote: > I will try your advice. I am not sure it will work. The last time I tried to install Guix on 32-bit equipment, someone in #guix asked "Why?" and offered to sen

Unable to boot installer (i686)

Hi, I am trying to use my old 32-bit netbook, but here is what the installer says: Booting `GNU Guix installation 1.4.0' error: USB Mass Storage stalled. error: you need to load the kernel first. Press any key to continue... Failed to boot both default and fallback entries. Then, the grub scre

Re: Not booting

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 bef

Re: Wrong system time

Leo Famulari: > IIRC we kept the 4.1 series of linux-libre specifically for libreboot > users. You should be able to use it by adding the following line to your > OS declaration: > > (kernel linux-libre-4.1) > Thanks, I have this and the linux use-package-modules, but I may have made a mistake. I

Re: Wrong system time

Chris Marusich: > For what it's worth, I've confirmed this is fixed in the latest > development version of Libreboot. That was a few weeks ago. So, if the > latest release doesn't already contain the fix, you can update it > yourself to get the fix. > Thanks, I'll be sure to do that. I wasn't ab

Re: AUR for GuixSD

David Craven: > I > think telling non developers to go buy this wifi card if you want to > use the gnu system or else we won't help you is kind of not very > user-friendly. > > I think hackers see it as being user-unfriendly if they supported hardware that disrespected computer users, and the ar

Re: Failed to start service 'device-mapping

Ludovic Courtès: > Are you sure the UUID is correct? It must be a LUKS UUID, as returned > by “cryptsetup luksUUID /dev/sdXXYY”, not an ext2 UUID. > This actually gave me the same UUID, so I moved on to the next step since the issue could have just been the lack of LUKS UUID functionality in 0.10

Re: Failed to start service 'device-mapping

Ludovic Courtès: > Are you sure the UUID is correct? It must be a LUKS UUID, as returned > by “cryptsetup luksUUID /dev/sdXXYY”, not an ext2 UUID. No, that's probably what's wrong, Ludó, and thanks for the suggested command. > > Also, the ability to use LUKS UUIDs like this was not available in

Failed to start service 'device-mapping

I checked my config.scm (attached), but I don't see any missing parens or any discrepancy from Ludo's example . I also based the rest on rain1's github wiki: https://gitlab.com/rain1/guix-wiki/wikis/encrypted-home-config.scm. I b

Re: Not booting

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

Re: Not booting

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

Re: Not booting

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/sd

Not booting

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, timez

Re: Wrong system time

Yes, I used the date command to set the time and date, and my installation finished; but after I rebooted, Grub did not start. I turned the laptop off and have not touched it since. Leo Famulari: > I seem to remember an issue with GuixSD on Libreboot x200 machines where > the system clock was set

Re: Error in config.scm

Thanks, you're right. Good catches—I made both typos while manually copying from here: https://lists.gnu.org/archive/html/guix-devel/2016-04/msg00964.html. guix system init is pulling sources, now. Leo Famulari: > On Wed, Jun 08, 2016 at 11:18:39PM +0000, Kete Foy wrote: >> I got t

Error in config.scm

I got this error when trying to initialize the guix system: /mnt/etc/config.scm:8:0: error: source expression failed to match any pattern My config.scm is available at http://kete.ninth.su/config.scm.txt. What I tried was changing the sda1 to sda since the template says sdX and not something like

Grub with encrypted system Re: Wrong system time

ing these pages: - https://lists.gnu.org/archive/html/bug-guix/2016-03/msg00088.html - https://www.gnu.org/software/guix/manual/guix.html#File-Systems - https://gnunet.org/bot/log/guix/2015-09-12 Kete Foy: > Hello, I am trying to install GuixSD, and my system time is much older > than the p

Wrong system time

Hello, I am trying to install GuixSD, and my system time is much older than the present; so the system won't install. It tells me to check the system clock. Unusual distinction—I chose to encrypt the system. Libreboot is supposed to be able to boot an encrypted system. If it makes a difference, my