On 2026-01-25, [email protected] wrote: > David Lecompte <[email protected]> writes: >>> Here is the PR <https://codeberg.org/guix/guix/pulls/5876> and here >>> <https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.iso> is the >>> link to download pre-built iso from. Please do report back if it gets >>> you further, we could merge that then. And maybe decide on whether we >>> could have a more official place for images that are post-release, but >>> with support of more devices. >> >> Thanks for the new image. >> It ends up in the same way, with some extra messages: > > Okay, I went through it once more. I noticed a module missing for both > USB 2 and USB 3. Still not certain that I've got all of the required > modules, though. > > Here is the new image could you also try this one? (if this one does not > work I definitely have to come up with a better way than just sending > you images and getting you to try them) > <https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.2.iso> > > e5fd5cf77452fe1ae2ee9eba640662cd5d235f830c0c17a4403d22d865c83136 > guix-system-install.rockpro64.2.iso > > Apart from that here is an image with linux-libre-arm64-generic, it's > true that that one should support more devices. But on the other hand, > it doesn't include isofs support at all. Because of that, to avoid > changing kernel configurations now (that's a discussion we should > definitely have prior to the next release, but it was just too late for > this one), I chose to use the linux-libre and tried to add all the > necessary initrd modules. This image is much bigger than the iso because > it has no compression. > <https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.2.img> > > 810530b37482f664f9300932b1383d9a586478dd8590087ab8caed04a9a40756 > guix-system-install.rockpro64.2.img
My rockpro64-rk3399 uses these modules to boot from a SATA SSD (with
u-boot on microSD):
(initrd-modules
(append
(list
;; scsi modules
"ahci"
"libata"
"sd_mod"
"scsi_common"
;; "t10_pi" ; not present in 6.13.x?
;; regulators and clocks
"rk808-regulator"
"clk-rk808"
"fixed"
"fan53555"
;; "rk808" ; not present in 6.13.x? replaced by MFD_RK8XX_I2C a.k.a.
rk8xx-i2c
"rk8xx-i2c" ; replaces rk808
"i2c-rk3x"
"pl330"
"dwc3"
"rtc-rk808"
"sdhci"
"sdhci-pltfm"
"dw_mmc"
"dw_mmc-pltfm"
;; "dw_mmc-rockchip"
"phy_rockchip_pcie"
"pcie_rockchip_host"
"nvme"
)))
I think I originally started with a longer list and systematically
removed (most of) the extraneous ones, although it has been quite a
while since I did that!
And... I probably do not have all the USB modules in there since I do
not use USB to boot, but it does have modules for (micro)SD card, even
though they were not strictly needed, they made debugging boot a *lot*
easier to have removable media to write boot logs to...
The lsmod output of a fully booted system with rootfs on SATA SSD (on
linux-libre 6.18.x, but pretty sure 6.17.x is similar):
Module Size Used by
tun 61440 2
rfkill 32768 0
xhci_plat_hcd 20480 0
xhci_hcd 282624 1 xhci_plat_hcd
snd_soc_hdmi_codec 20480 1
ofpart 16384 0
evdev 24576 0
dw_hdmi_i2s_audio 12288 0
spi_nor 114688 0
mmc_block 53248 0
rpmb_core 16384 1 mmc_block
mtd 77824 3 spi_nor,ofpart
aes_ce_blk 32768 0
aes_ce_cipher 12288 1 aes_ce_blk
polyval_ce 12288 0
ghash_ce 20480 0
sm4 12288 0
dwc3_of_simple 12288 0
snd_soc_spdif_tx 12288 0
snd_soc_audio_graph_card 20480 0
pwm_regulator 12288 0
snd_soc_simple_card 20480 0
dm_mod 143360 4
snd_soc_simple_card_utils 24576 2
snd_soc_audio_graph_card,snd_soc_simple_card
leds_gpio 12288 0
gpio_keys 20480 0
realtek 49152 1
panfrost 86016 0
governor_simpleondemand 12288 0
snd_soc_rockchip_i2s 24576 2
rockchipdrm 217088 0
snd_soc_core 258048 6
snd_soc_spdif_tx,snd_soc_hdmi_codec,snd_soc_audio_graph_card,snd_soc_simple_card_utils,snd_soc_rockchip_i2s,snd_soc_simple_card
dw_hdmi_qp 20480 1 rockchipdrm
dw_mipi_dsi2 20480 1 rockchipdrm
hantro_vpu 278528 0
rockchip_vdec 45056 0
dw_hdmi 49152 2 dw_hdmi_i2s_audio,rockchipdrm
snd_compress 24576 1 snd_soc_core
dw_mipi_dsi 20480 1 rockchipdrm
gpu_sched 49152 1 panfrost
analogix_dp 45056 1 rockchipdrm
v4l2_vp9 20480 2 rockchip_vdec,hantro_vpu
drm_dp_aux_bus 16384 1 rockchipdrm
drm_shmem_helper 28672 1 panfrost
snd_pcm_dmaengine 16384 1 snd_soc_core
snd_pcm 135168 5
snd_soc_hdmi_codec,snd_compress,snd_soc_simple_card_utils,snd_soc_core,snd_pcm_dmaengine
v4l2_jpeg 12288 1 hantro_vpu
v4l2_h264 20480 2 rockchip_vdec,hantro_vpu
snd_timer 40960 1 snd_pcm
drm_display_helper 200704 4 rockchipdrm,dw_hdmi,analogix_dp,dw_hdmi_qp
phy_rockchip_emmc 12288 1
rockchip_rga 24576 0
dwmac_rk 28672 0
snd 102400 5
snd_soc_hdmi_codec,snd_timer,snd_compress,snd_soc_core,snd_pcm
videobuf2_dma_contig 20480 2 rockchip_vdec,hantro_vpu
stmmac_platform 24576 1 dwmac_rk
phy_rockchip_inno_usb2 73728 12
soundcore 16384 1 snd
stmmac 274432 3 stmmac_platform,dwmac_rk
v4l2_mem2mem 32768 3 rockchip_vdec,hantro_vpu,rockchip_rga
pcs_xpcs 32768 1 stmmac
videobuf2_dma_sg 20480 1 rockchip_rga
fusb302 32768 0
phylink 61440 2 stmmac,pcs_xpcs
dw_wdt 12288 0
mdio_devres 12288 1 pcs_xpcs
cec 65536 2 drm_display_helper,dw_hdmi
videobuf2_memops 16384 2 videobuf2_dma_contig,videobuf2_dma_sg
phy_rockchip_typec 16384 4
videobuf2_v4l2 24576 4
rockchip_vdec,hantro_vpu,rockchip_rga,v4l2_mem2mem
of_mdio 16384 3 mdio_devres,stmmac_platform,stmmac
tcpm 77824 1 fusb302
rc_core 53248 1 cec
typec 69632 1 tcpm
drm_client_lib 20480 1 rockchipdrm
videodev 274432 5
rockchip_vdec,videobuf2_v4l2,hantro_vpu,rockchip_rga,v4l2_mem2mem
drm_dma_helper 20480 1 rockchipdrm
thunderbolt 393216 1 typec
fixed_phy 16384 1 of_mdio
videobuf2_common 57344 8
rockchip_vdec,videobuf2_dma_contig,videobuf2_v4l2,hantro_vpu,rockchip_rga,videobuf2_dma_sg,v4l2_mem2mem,videobuf2_memops
drm_kms_helper 155648 10
dw_mipi_dsi,drm_dma_helper,drm_shmem_helper,drm_display_helper,rockchipdrm,dw_hdmi,drm_client_lib,analogix_dp,dw_mipi_dsi2,dw_hdmi_qp
fwnode_mdio 16384 1 of_mdio
mc 61440 6
rockchip_vdec,videodev,videobuf2_v4l2,hantro_vpu,videobuf2_common,v4l2_mem2mem
nvmem_rockchip_efuse 16384 0
ohci_platform 12288 0
drm 557056 14
gpu_sched,drm_kms_helper,dw_mipi_dsi,drm_dma_helper,drm_shmem_helper,drm_display_helper,rockchipdrm,dw_hdmi,panfrost,drm_client_lib,analogix_dp,dw_mipi_dsi2,dw_hdmi_qp
ehci_platform 16384 0
libphy 106496 8
mdio_devres,fwnode_mdio,of_mdio,realtek,stmmac,fixed_phy,phylink,pcs_xpcs
pwm_rockchip 12288 1
io_domain 20480 0
mdio_bus 40960 6 libphy,of_mdio,realtek,stmmac,phylink,pcs_xpcs
rockchip_thermal 28672 0
ehci_hcd 90112 1 ehci_platform
ohci_hcd 53248 1 ohci_platform
spi_rockchip 16384 0
sdhci_of_arasan 28672 1
dw_mmc_rockchip 16384 0
cqhci 28672 1 sdhci_of_arasan
cpufreq_dt 16384 0
nvme 49152 0
nvme_core 167936 1 nvme
nvme_keyring 16384 1 nvme_core
nvme_auth 20480 1 nvme_core
hkdf 12288 1 nvme_auth
pcie_rockchip_host 28672 0
phy_rockchip_pcie 16384 4
dw_mmc_pltfm 12288 1 dw_mmc_rockchip
dw_mmc 49152 2 dw_mmc_pltfm,dw_mmc_rockchip
sdhci_pltfm 12288 1 sdhci_of_arasan
sdhci 69632 2 sdhci_pltfm,sdhci_of_arasan
rtc_rk808 16384 1
dwc3 184320 0
usbcore 299008 7
ohci_platform,xhci_hcd,ohci_hcd,ehci_platform,ehci_hcd,xhci_plat_hcd,dwc3
udc_core 61440 1 dwc3
usb_common 16384 12
ohci_platform,xhci_hcd,ohci_hcd,ehci_platform,phy_rockchip_inno_usb2,fusb302,usbcore,ehci_hcd,xhci_plat_hcd,dwc3,udc_core,tcpm
roles 16384 2 dwc3,tcpm
pl330 32768 8
i2c_rk3x 20480 1
rk8xx_i2c 12288 0
rk8xx_core 24576 1 rk8xx_i2c
fan53555 12288 2
fixed 16384 33
clk_rk808 12288 1
rk808_regulator 57344 12
sd_mod 57344 3
ahci 53248 3
libahci 45056 1 ahci
libata 319488 2 libahci,ahci
scsi_mod 245760 2 sd_mod,libata
scsi_common 12288 3 scsi_mod,sd_mod,libata
Hope that is helpful!
live well,
vagrant
signature.asc
Description: PGP signature
