Hello! I got the workable config and placed it here
https://gitgud.io/znavko/guix-configs/-/blob/master/guix-config-dual-boot.scm
and in attach too.

This works!

PS: But the kernel bug rest on my Guix: when switch off PC it stops displaying me CPU registers (attach 2)
I will try to update may be I will have luck.


December 4, 2020 8:48 PM, "znavko--- via" <help-guix@gnu.org> wrote:

> Hello, Guix help!
> Please, look through my short booyloader configuration, will it break my system?
> (operating-system (host-name "antelope") (timezone "Europe/Moscow") (locale "en_US.utf8")
> (bootloader
> (bootloader-configuration (bootloader grub-efi-bootloader)
> (target "/boot/efi")
> (menu-entries (menu-entry
> (label "Ubuntu")
> (linux "(hd2,gpt3)/boot/vmlinuz")
> (linux-arguments '("root=/dev/sdc3"))
> (initrd "(hd2,gpt3)/boot/initrd.img")))))
> (file-systems (cons*
> (file-system (device "/dev/sda1") (mount-point "/boot/efi") (type "vfat"))
> (file-system (device "/dev/sda2") (mount-point "/") (type "ext4"))
> %base-file-systems))
> ...
> I just learned how to use GRUB for booting to another OS placed on another SSD in my PC.
> And now I want to add another OS to GRUB's configuration, that is holding by Guix.
> 
> Could you say, is this config workable?
> 
> And also if something goes wrong in my experiments, how to get back to previous workable Grub
> configuration?
> Can I do it with Guix usb stick? Which steps to do for reconfigure my system and "cow-store" from
> usb stick?