IRC channel logs

2026-09-03.log

back to list of logs

<Elwood_Soup>Would anyone here be able to help me get my RockPro64 to boot? I ran through the guided installer, it generated a config.scm and said it successfully installed u-boot, but I'm getting boot errors.
<Elwood_Soup> https://privatebin.net/?9db6eb541e8add8b#4HQKLKFRsWGiWq1xnXchXSSKoa746PptN1DoQ1vMJrQB
<Elwood_Soup> https://privatebin.net/?dab1c4544d6640d0#E7K7WBErPwbB8yyWGTJv7BMiUVf5gyKsDuWrXWVAMM1L
<vagrantc>Elwood_Soup: that's definitely not using the u-boot shipped with guix ...
<vagrantc>Elwood_Soup: you probab ly want the device to install to rather than /boot/efi
<vagrantc>looks liek your u-boot is installed to SPI flash ... which means it won't actually use the u-boot from eMMC or microSD
<vagrantc>so no idea what the configuration of that u-boot is ... it's some vendor u-boot or something
<Elwood_Soup>I thought this might be the SPI u-boot. So I ran an SD-card image that said it successfully wiped the SPI. That log is from afterwards.
<Elwood_Soup>I can try to wipe it again to confirm.
<vagrantc>i am surprised that passing the bootloader a directory didn't fail to install
<vagrantc>but you'll want a /boot/extlinux/extlinux.conf (unless you can figure out how to configure grub-efi, which in theory a modern u-boot provides an EFI implementation... )
<vagrantc>i do have guix running on a rockpro64, but it's been a couple months since i last booted it
<vagrantc>but got a new round of kernel updates to test ... so could probably spin it up tomorrow or something and check the configuration
<Elwood_Soup>Is there an example somewhere of a valid u-boot config.scm? That one I pasted was just my attempt at editing the original one that the installer generated. It tried to install grub at first, which did fail.
<vagrantc>hmmmm... if it actually booted to grub in EFI mode ... that ought to still work
<vagrantc>but not sure i ever installed this system from the installer :)
<Elwood_Soup>It failed to even install grub :/ It said /boot/efi was un-writable, I think
<vagrantc>ah yes, i did actually test the EFI installer a bit before the 1.5.0 release, which only supports EFI ...
<EdH>Just tried to install the package manager, following instructions.  Right now it seems impossible.  errors out with https://ftpmirror.gnu.org/gnu/guix/:
<EdH>2026-09-02 19:15:38 ERROR 502: Bad Gateway.
<vagrantc>good luck folks, gotta head out
<vagrantc>ACTION waves
<apteryx>if like me, substitutes are slowing things to a crawl, try export GUIX_BUILD_OPTIONS='--substitute-urls=https://ci.guix.gnu.org/'; it seems to be bordeaux that's having issues
<untrusem>hi guix
<untrusem>what would be the sysctl equivalent for guix?
<untrusem>nvm
<untrusem>I wanted to ask where we have our sysctl.conf
<cooldev>untrusem: I guess this could help for changing values https://guix.gnu.org/manual/1.5.0/en/guix.html (System Control Service)
<untrusem>though lol, totally forgot about it
<untrusem>though -> ooh