Hi Guix, I had to update my system configuration, which contains a boot menu entry for another distribution, to use the new bootloader API, but the manual section on dualboot configuration (https://
Hi, I have a ThinkPad T410 on which I am trying to do this. Currently I have a dualboot configuration running Ubuntu and Windows 7. Could that grub install failure because of my /boot not being emp
I had a dualboot set up for a while, but I let guixSD take care of the grub generation. With guix you can configure the bootloader to boot two different OSs.
Hi, I have a ThinkPad T410 on which I am trying to do this. Currently I have a dualboot configuration running Ubuntu and Windows 7. Could that grub install failure because of my /boot not being empt
Hi Guys, Can you guys please help me with a bit of understanding? I have a ThinkPad T410 on which I am trying to do this. Currently I have a dualboot configuration running Ubuntu and Windows 7. Co
I personally found it more useful to have GuixSD manage my grub. And code in my config the other boot option. That way GuixSD generated the grub booting for both GuixSD and the other distro.
FYI, the --no-bootloader option to "guix system" should prevent Guix from installing a bootloader. You might find that useful. -- Chris Attachment: signature.asc Description: PGP signature
I've been working on trying to get a mainline or nearly mainline kernel working for pinebook pro, and there's a little better support in linux-libre 5.5. According to: https://linux-libre.fsfla.org/p
Hi, The problem is when you boot in legacy BIOS mode you don't have UEFI functionality available, including the calls that would modify the boot order and boot menu. The best way would to also boot t
I think it's possible, but only for other GNU/Linux distributions, and only when not chain loading. This could of course be improved, but I think those are the current limitations. See "(guix) GRUB C
Hello, Chris Marusich <address@hidden> skribis: Yup, you’re both right. :-) The second solution sounds good, but I wonder if it would be overkill for the purpose we have in mind. Another possibilit
What does mean “independent”? Do you mean that it's working only for Grub now? I guess others bootloaders could have this if they need to generate a configuration file like “/boot/grub/grub.cfg
Hi, Oleg Pykhalov <address@hidden> skribis: [...] I think we should keep ‘menu-entry’ bootloader-independent. I’m actually not sure what problem we’re trying to solve: is it that the ‘root
Hello, I like this. I would go a little further in terms of branding. If we go with this, I think speaking of "a Guix system" instead of "the Guix System" (if it's a noun, it's a brand so we would en
Guix is ... ... a package and system manager. (A seen previously, system manager is too wide) ... a package manager and machine administrator. ... a package and machine administrator. ... a package
Oleg Pykhalov <address@hidden> skribis: Currently yes: this is how you tell GRUB what to boot. Yes, we could do that. One question is how to integrated properly since ‘menu-entry’ is now bootload
Hello, Martin Castillo <address@hidden> skribis: Indeed, that should always work. Note that if all you want is dual-boot, this should already be possible by defining new menu entries in the GuixSD co
This means the USB installer has booted in BIOS mode. GRUB will automatically detect the target platform. You can check if it has booted in UEFI mode by testing whether '/sys/firmware/efi' exists. C
Hi Thomas, and apologies for the delay! Thomas Danckaert <address@hidden> skribis: Very good point, it’s really a shortcoming. To fix it we could add the extra entries to <boot-parameters> (which y
Hi, I'm looking into the possibility of installing GuixSD in parallel with another operating system on a single machine (dualboot). Looking into the code (gnu system grub) I see that the GRUB "linux