Pulls the nonguix kernel and firmware from substitutes.nonguix.org,
alongside the official substitute servers, so `make vps-system` no
longer needs to build the linux kernel from source.
Co-Authored-By: Claude <noreply@anthropic.com>
vps-system:
sudo GUIX_PACKAGE_PATH=`pwd` guix system reconfigure \
- -L `pwd` -e '(@ (vps-system) vps-operating-system)'
+ -L `pwd` -e '(@ (vps-system) vps-operating-system)' --substitute-urls="https://substitutes.nonguix.org https://bordeaux.guix.gnu.org https://ci.guix.gnu.org"
# Build-only targets — validate configuration without activating.