I have created this guix system configuration (minimal working example) with an "operating-system" declaration in *system.scm*.
(use-modules (gnu) (nongnu packages linux)) (operating-system (kernel linux) (firmware (list linux-firmware)) (host-name "guix") (timezone "America/New_York") (locale "en_US.utf8") (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (targets '("/boot/efi")))) (file-systems %base-file-systems) (users (cons* (user-account (name "user") (group "users")) %base-user-accounts)) (packages %base-packages) (services %base-services)) Note that there's an accompanying *channels.scm* file that provides the "nongnu" packages. (list (channel (name 'guix) (url "https://git.savannah.gnu.org/git/guix.git") (introduction (make-channel-introduction "9edb3f66fd807b096b48283debdcddccfea34bad" (openpgp-fingerprint "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA")))) (channel (name 'nonguix) (url "https://gitlab.com/nonguix/nonguix") (introduction (make-channel-introduction "897c1a470da759236cc11798f4e0a5f7d4d59fbc" (openpgp-fingerprint "2A39 3FFF 68F4 EF7A 3D29 12AF 6F51 20A0 22FB B2D5"))))) But trying to reconfigure my guix system with this command, gives the following error. $ sudo guix system reconfigure system.scm guix system: error: failed to load 'system.scm': ice-9/boot-9.scm:3330:6: In procedure resolve-interface: no code for module (nongnu packages linux) I took this approach from David Wilson's guide <https://systemcrafters.net/craft-your-system-with-guix/full-system-install/> when first installing the system. And other's have come across the same issue... But the `(nongnu packages linux)` module is definitely there (ref <https://gitlab.com/nonguix/nonguix/-/blob/master/nongnu/packages/linux.scm?ref_type=heads>). And I have pulled the nonguix channel before using it. guix pull --channels=channels.scm But the `guix system recofigure` command doesn't see it. And it's not clear to me where all the "nongnu" packages agot installed. They are not in `/gnu/store/`. What am I missing here? What is the root cause of the error? And how do I make those external channels available? Tim Washington Interruptsoftware.com <http://interruptsoftware.com> (647) 283-2856