Re: Issue when booting Guix SD on laptop

jbra...@dismail.de writes: > April 4, 2024 at 11:05 PM, "Rodrigo Morales" wrote: > > Thanks for the detailed message! What kind of laptop do you have? I'm using a laptop MSI Delta 15. Under the laptop, there's a sticker that reads "SKU: Delta 15 A5EFK-001US-GGAR758H16GXXDX10MA". Just in case

Re: Issue when booting Guix SD on laptop

April 4, 2024 at 11:05 PM, "Rodrigo Morales" wrote: > > I believe I have successfully installed Guix SD in a laptop. I believe so > because =guix system init /mnt/config.scm /mnt= ended with =guix system: > bootloader successfully installed on /boot/efi=. The problem is that, at > startup,

Issue when booting Guix SD on laptop

I believe I have successfully installed Guix SD in a laptop. I believe so because =guix system init /mnt/config.scm /mnt= ended with =guix system: bootloader successfully installed on /boot/efi=. The problem is that, at startup, my laptop gets stuck in this screen. Screenshot:

Re: Booting a Raspberry Pi

/: In procedure mkdir: Permission denied: "./tmp-root/efi/boot/grub" From: Stefan Sent: Saturday, October 28, 2023 12:01 PM To: Wicki Gabriel (wicg) ; help-guix@gnu.org Subject: Booting a Raspberry Pi Hi Gabriel! I boot my Raspberry from NFS, but it isn’t in

Booting a Raspberry Pi

Hi Gabriel! I boot my Raspberry from NFS, but it isn’t in use since some time. I experienced a problem ending in the GRUB rescue shell a year ago¹. At that point my system switched from u-boot 2020.10 to 2022.4. Although I was net-booting, I still used a microSD card with only a bootcode.bin

Booting a Raspberry Pi

toboot: 2 switch to partitions #0, OK mmc0 is current device Scanning mmc 0:1... [999;999H 8Card did not respond to voltage select! : -110 BootOrder not defined EFI boot manager: Cannot load any image Found EFI removable media binary efi/boot/bootaa64.efi 286720 bytes read in 32 ms (8.5 MiB/s) Booting

Re: Dual booting

July 28, 2022 10:04 AM, "Paul Jewell via" wrote: > Could anyone please share a working configuration for dual booting windows > and guix? I have to use > windows for work, but use Linux for everything else. I want to put guix on my > work laptop so I can > stick with

Re: Dual booting

July 28, 2022 10:04 AM, "Paul Jewell via" wrote: > Looking at the > bootloader information in the documentation, it seems that > chainloader is not available as an option. Grub supports chainloading as of commit 1fc20e4c86697e9d112b9fed8079334c818dd78e You can probably add a menu entry to

Re: Dual booting

July 28, 2022 10:04 AM, "Paul Jewell via" wrote: > Good afternoon, > > Could anyone please share a working configuration for dual booting windows > and guix? I have to use > windows for work, but use Linux for everything else. I want to put guix on my > work laptop

Dual booting

Good afternoon, Could anyone please share a working configuration for dual booting windows and guix? I have to use windows for work, but use Linux for everything else. I want to put guix on my work laptop so I can stick with Linux when travelling (I am self employed, so

Re: System not booting after guix gc

Hi, phodina via writes: > Hi, > > I've run the following commands: > > guix system delete-generations > guix gc > sync > > After reboot the system cannot boot and panics. Is there way to recover? > > I can decrypt the LUKS partition with Btrfs, that's where the kernel panics. You could try

Re: Stuck at scheme prompt when booting

I did not try accessing /gnu/store. I booted the Guix install image. Then used cryptsetup to decrypt the hard drive. After using chattr -i on resolv.conf I am now able to boot the system again. Feb 15, 2022, 20:51 by rek...@elephly.net: > > coralg...@tuta.io writes: > >> Thank you for sharing

Re: Stuck at scheme prompt when booting

coralg...@tuta.io writes: > Thank you for sharing those commands. > > I was able to start bash but at that point in the start up process > chattr is not available. Can you access /gnu/store already? Or unlock the disk with cryptsetup? -- Ricardo

Re: Stuck at scheme prompt when booting

by seerlite@nixnet.email: > On 2/12/22 15:15, coralgoat--- via wrote: > >> I could try booting an operating system in memory and then use a disk >> encryption program to decrypt the hard drive with my passphrase and >> then run `chattr -i /etc/resolv.conf`.  What disk encryption

Re: Stuck at scheme prompt when booting

Thank you for sharing those commands. I was able to start bash but at that point in the start up process chattr is not available. Feb 12, 2022, 22:08 by rek...@elephly.net: > > coralgoat--- via writes: > >> I have some more information to add to my initial message. >> >> I have opened the

Re: Stuck at scheme prompt when booting

On 2/12/22 15:15, coralgoat--- via wrote: I could try booting an operating system in memory and then use a disk encryption program to decrypt the hard drive with my passphrase and then run `chattr -i /etc/resolv.conf`.  What disk encryption program should I use to decrypt the hard disk? Guix

Re: Stuck at scheme prompt when booting

coralgoat--- via writes: > I have some more information to add to my initial message. > > I have opened the computer to make sure the hard drive has a good > connection to the motherboard and it does. > > I have also tried typing `,bt` at the "scheme@(guile-user)>" prompt > the output is

Re: Stuck at scheme prompt when booting

an enter the `chattr -i /etc/resolv.conf` command? I could try booting an operating system in memory and then use a disk encryption program to decrypt the hard drive with my passphrase and then run `chattr -i /etc/resolv.conf`.  What disk encryption program should I use to decrypt the hard disk? T

Stuck at scheme prompt when booting

I have run into a problem with booting a computer that is running the Guix operating system. After entering the passphrase when prompted with: > Enter passphrase for /dev/sda1: I end up at this prompt: > scheme@(guile-user)> and the system does not continue to boot. I have not

Re: Trouble booting Guix System

Yeah, any AMD graphics card is going to have a hard time. Without the firmware files, those graphics cards are nearly useless. There's some really old nvidia cards that work fairly well. There's probably a kernel parameter you could pass that would disable the AMD graphics driver from

Re: Trouble booting Guix System

Joshua Branson writes: > I actually couldn't get encryption to work for my on my librebooted > machine. I re-installed with just 1 unencrypted ext4 machine, and now I > can use guix system. Not really a fix I know, but you might give that a try. I've tried installing without encryption, but I

Re: Trouble booting Guix System

Hey Joshua, Joshua Branson writes: > I actually couldn't get encryption to work for my on my librebooted > machine. I re-installed with just 1 unencrypted ext4 machine, and now I > can use guix system. Not really a fix I know, but you might give that a try. Thanks! I guess I'll have to

Re: Trouble booting Guix System

I actually couldn't get encryption to work for my on my librebooted machine. I re-installed with just 1 unencrypted ext4 machine, and now I can use guix system. Not really a fix I know, but you might give that a try. -- Joshua Branson Sent from Emacs and Gnus https://gnucode.me

Repairs to USB drive prevents booting

I've had intermittent problems with a USB drive that finally resulted in my having to boot up Trisquel to repair a bad superblock (magic number problem), which resulted in a lot of blocks being moved around on that drive. I don't know enough about how all the low level drive stuff works to

Booting to raid over usb

Hello, I tried making this work some time ago, gave up, but a few days ago I found I could make this setup work in debian buster, so why not guix system? The setup is I have a computer with an mdadm raid 10, here is the comment from the attached config: ;;; Raid "10" ;; raid0 md127: sda1, sdb1,

Re: Booting GUIX in single user

is booting a live medium like the Guix installer to free up some space and reboot. Kind regards, T G-R signature.asc Description: PGP signature

Re: Booting GUIX in single user

Alexander Asteroth 写道： I tried “single” and 3. Thanks! ‘single’ *might* be worth supporting as an alias, although the preferred way to expose this would be a GRUB menu entry and the argument wouldn't matter. Now I tried —root and it still booted into gdm. I don't see why it wouldn't.

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

On Wed, Jul 24, 2019 at 05:29:18PM +0200, Jan wrote: > Don't remember if I mentioned it, but my GPU is Radeon R9 280X 3G. That is interesting, I had assumed it was a newer GPU. I will add that info to the bug. > If > it is possibly a bug of Xorg, could using Wayland instead help? Is > support

Re: Booting GUIX in single user

Hi, I tried “single” and 3. Now I tried —root and it still booted into gdm. Alex > On 24. Jul 2019, at 17:25, Tobias Geerinckx-Rice wrote: > > Hullo Alexander, > > [It's just ‘Guix’, by the way.] > > Alexander Asteroth 写道： >> I tried to boot into non-x11 (level3) or single user mode but

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

>Debian not working is not a good sign. Note that without 3d >acceleration, Xorg should work on linux-libre and that it does not >work at all is a bug. I do not know if someone knowledgeable with >enough time cares enough to fix it though, because it works with >nonfree firmware. > >I believe

Re: Booting GUIX in single user

Hullo Alexander, [It's just ‘Guix’, by the way.] Alexander Asteroth 写道： I tried to boot into non-x11 (level3) or single user mode but unfortunately the option I pass to Grub Which option did you try? I've happily purged all memory of which obsolete System V run-level did which obsolete

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

On Wed, Jul 24, 2019 at 03:31:44PM +0200, Jan wrote: > >Maybe Debian works because it uses a > >different kernel configuration, you could try. If Debian works, then > >Guix System could be made to work. > Tried installing Debian 10 with GNOME and it doesn't look good either - > instead of gdm,

Booting GUIX in single user

Hi there, While experimenting with Guix and installing one more package the disk of the test system filled to 100%. After shutting down the system to provide more disk to the VM, after reboot, the gdm session is indefinitely started and killed. I tried to boot into non-x11 (level3) or single

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

>Maybe Debian works because it uses a >different kernel configuration, you could try. If Debian works, then >Guix System could be made to work. Tried installing Debian 10 with GNOME and it doesn't look good either - instead of gdm, there's a cursor blinking, I could switch to a different tty,

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

here are fatal (EE) lines in /var/log/Xorg.0.log, but maybe xorg-server being logged as running is also a quirk of xorg-server. > >Has booting (not necessarily installing) an official Debian USB > >installer (i.e. without nonfree firmware) or another libre distro > >worked pre

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

how the log looks like, when I can't do anything. >Has booting (not necessarily installing) an official Debian USB >installer (i.e. without nonfree firmware) or another libre distro >worked previously? I tried installing Trisquel 8.0 to check if this is a bug in the linux-libre kernel, but

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

og shows that no working graphics driver was found. However, since /var/log/messages looks normal, I suppose this is an old log file (?). Has booting (not necessarily installing) an official Debian USB installer (i.e. without nonfree firmware) or another libre distro worked previously? > And al

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

Great, my mail client probably fooled me again... Sorry again for sending a private message, this is my first real discussion on a mailing list. Is there a way to keep messages on the list, I'm using "respond to a mailing list" option, but it somehow doesn't do what I want. Reposting the message

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

Hi, > throws '/mnt/etc/config.scm:40:1 error: invalid field specifier'. Your config file at line 40 contains this form: (services (append (list … … some-list)) %base-services) The format is wrong. What I called “some-list” is this: (remove (lambda (service) (eq?

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

I've tried two things - graphical installation without any DE/WM with the DHCP client - same effect (the system fails to boot) and manual installation using slim-service-type, where running 'guix system init /mnt/etc' throws '/mnt/etc/config.scm:40:1 error: invalid field specifier'. I attached

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

Jan writes: >>Can you show us the actual error message please? > > Yes, but I have to try to install it again, will take some time. > >> You have *two* instances of the slim-service-type, but this is not >> supported. > > The example in the manual has two instances. Is it not supported yet, >

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

>Can you show us the actual error message please? Yes, but I have to try to install it again, will take some time. > You have *two* instances of the slim-service-type, but this is not > supported. The example in the manual has two instances. Is it not supported yet, or is the manual wrong?

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

Jan writes: > Sorry, I sent private messages and for sending the email in > HTML earlier, I didn't completely figure it out how these mailing lists > work, please forgive me. Hope this one will be visible on the list. > >>which must be changed to > >>(services (cons* (gnome-desktop-service) >>

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

Sorry, I sent private messages and for sending the email in HTML earlier, I didn't completely figure it out how these mailing lists work, please forgive me. Hope this one will be visible on the list. >which must be changed to >(services (cons* (gnome-desktop-service) > (service

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

and then reconfiguring, see `info guix`, section on slim-service-type. In order to edit /etc/config.scm using the virtual console, you may need to when booting in GRUB press e and add modprobe.blacklist=radeon or modprobe.blacklist=amdgpu to GRUB’s linux line. config-2.scm Description: Lotus

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

On 2019-07-21 22:35, Jan wrote: > Hi, I'm trying to install Guix System on the following computer:Ryzen > 5 1600MSI pcmate B350ADATA SX7000NP - it's a NVMe SSDThe problem is > installation finishes successfully, but after rebooting and trying to > start the system it freezes like on a screenshot

Re: Trying to install Guix System on a nonfree computer, the system frezees at booting, bug?

op-services) or similar and then reconfiguring, see `info guix`, section on slim-service-type. In order to edit /etc/config.scm using the virtual console, you may need to when booting in GRUB press e and add modprobe.blacklist=radeon or modprobe.blacklist=amdgpu to GRUB’s linux line.

Re: booting from usb

>> I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been >> able to boot it sucessfully. According to the instructions I need to access >> the BIOS to do this. I've read that is done by pressing one of the F keys >> on startup. However, my laptop has been librebooted so I

Re: booting from usb

On 5/15/19 3:01 AM, Perez, Luis wrote: > Hi, > > I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been > able to boot it sucessfully. According to the instructions I need to access > the BIOS to do this. I've read that is done by pressing one of the F keys > on startup.

booting from usb

Hi, I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been able to boot it sucessfully. According to the instructions I need to access the BIOS to do this. I've read that is done by pressing one of the F keys on startup. However, my laptop has been librebooted so I don't

Re: GuixSD stops on booting process after upgrades

Hi znavko, > After guix has updated kernel with `guix pull` or `guix system > reconfigure /etc/config.scm` and I reboot. Boot up process stops with > no any errors on any line without matter. Not every update this > occurs, but sometimes. This might be a problem with the kernel. Could you try

Re: GuixSD stops on booting process after upgrades

writes: > Hello! I cannot give you exact info. The description of a problem I usually > meet is this. Hello! Thanks for reporting the issue! Usually when you report a bug, you want to give a little more information: What kind of computer do you have? What kind of processor? What is the

GuixSD stops on booting process after upgrades

Hello! I cannot give you exact info. The description of a problem I usually meet  is this. After guix has updated kernel with `guix pull` or `guix system reconfigure /etc/config.scm` and I reboot. Boot up process stops with no any errors on any line without matter. Not every update this

Re: Dual-booting solution with only one actual Grub installation

On 13.03.2018 14:23, Martin Castillo wrote: I mentioned it in [0], and I think I got the idea from some other post in guix-devel or help-guix. Martin [0]:https://lists.gnu.org/archive/html/guix-devel/2017-12/msg00134.html I think I even came across that threat, but forgot about it, as it

Re: Dual-booting solution with only one actual Grub installation

Hi, On 12.03.2018 19:43, Thorsten Wilms wrote: > There's a convenient dual-booting solution that I think hasn't been > mentioned in these circles. You can let Grub2 offer an item that will > load another grub.cfg. I mentioned it in [0], and I think I got the idea from some other pos

Re: Dual-booting solution with only one actual Grub installation

On Mon, Mar 12, 2018 at 07:43:39PM +0100, Thorsten Wilms wrote: Hi once again, There's a convenient dual-booting solution that I think hasn't been mentioned in these circles. You can let Grub2 offer an item that will load another grub.cfg. In my case, that's a Grub installed from Ubuntu

Dual-booting solution with only one actual Grub installation

Hi once again, There's a convenient dual-booting solution that I think hasn't been mentioned in these circles. You can let Grub2 offer an item that will load another grub.cfg. In my case, that's a Grub installed from Ubuntu, with a menu that will be updated in sync with kernel installation

Re: Kernel panic - not syncing: attempting to kill init! when booting GuixSD

I have had this same problem when garbage collecting on the root user. It happened to me twice. It was strange for me since I understood that Guix would NEVER remove any package that still had links to it. What I did was try to boot with all entries presented on boot by GrUB. I usually found

Re: Kernel panic - not syncing: attempting to kill init! when booting GuixSD

. >> I'm going to try and make some time to see if I can get this system back >> working again. I'm not sure how realistic this is, but I'm planning to >> start by using the installation image, and somehow running guix system >> reconfigure. > > I would suggest boot

Re: Kernel panic - not syncing: attempting to kill init! when booting GuixSD

On 24/05/17 16:45, Ricardo Wurmus wrote: > > Christopher Baines writes: > >> Excluding the generations that I removed, the others don't boot. All I >> can really gather so far is a call stack, and the message: >> Kernel panic - not syncing: Attempted to kill init! > > Has

Re: Kernel panic - not syncing: attempting to kill init! when booting GuixSD

get this system back > working again. I'm not sure how realistic this is, but I'm planning to > start by using the installation image, and somehow running guix system > reconfigure. I would suggest booting from an external medium such as the installation image, mounting the file system that

Re: Kernel panic - not syncing: attempting to kill init! when booting GuixSD

Christopher Baines writes: > Excluding the generations that I removed, the others don't boot. All I > can really gather so far is a call stack, and the message: > Kernel panic - not syncing: Attempted to kill init! Has the label of your root partition changed? -- Ricardo

Re: Booting Guix SD on GA-41M-ES2L with libreboot

David Craven skribis: >> [0.036028] AppArmor: AppArmor initialized >> I also tried to boot the Guix SD installer using the Parabola kernel. > > I don't think that guixsd uses apparmor, GuixSD doesn’t use it but it’s apparently built into its kernel; on my laptop, I see:

Re: Booting Guix SD on GA-41M-ES2L with libreboot

> I don't think that guixsd uses apparmor, are you using the guixsd > kernel or the parabola one? > > Do you also have a display connected to your machine? mingetty doesn't > support a serial login session. I'm now using the latest 0.11.0 usb image unmodified with a screen attached. The reset

Re: Booting Guix SD on GA-41M-ES2L with libreboot

> [0.036028] AppArmor: AppArmor initialized > I also tried to boot the Guix SD installer using the Parabola kernel. I don't think that guixsd uses apparmor, are you using the guixsd kernel or the parabola one? Do you also have a display connected to your machine? mingetty doesn't support a

Re: Booting Guix SD on GA-41M-ES2L with libreboot

> Did you try running Linux-libre 4.5 or newer before on this hardware? > Several people have reported running GuixSD on Libreboot-powered > machines, but presumably this was different hardware. > > Thanks, > Ludo’. Yes, booting the Parabola GNU/Linux from usb is working. Th

Re: Booting Guix SD on GA-41M-ES2L with libreboot

he boot log stops at: --8<---cut here-------start->8--- [0.205140] x86: Booting SMP configuration: [0.208002] node #0, CPUs: #1 --8<---cut here---end--->8--- So it looks like the kernel doesn’t even

Re: Booting Guix SD on GA-41M-ES2L with libreboot

> It sounds like you're using the Guix 0.10.0 installer, based on the > kernel version. Can you try using the installer from our most recent > release, 0.11.0? > > Mark I just checked with 0.11.0. Now it uses linux 4.7, but the problem (early reboot/reset) is the same. -- Niclas

Booting Guix SD on GA-41M-ES2L with libreboot

Hi, I'm trying to install Guix SD on a Gigabyte GA-41M-ES2L running libreboot. Grub recognizes the usb stick and shows the menu entry "GNU with Linux-Libre 4.5 (beta)". Linux seems to boot, but the computer resets pretty soon. Even using a serial cable I can't see any error message. The last

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

Re: Not booting

l...@gnu.org (Ludovic Courtès) writes: > Kete Foy 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

Re: Not booting

Hi, Kete Foy 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

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 fingerprint =

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.

Re: Not booting

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