Re: Trying to install Guix 1.5 on rockpro64

[David Lecompte]

Hi Rutherther

> 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)
> 
> 

Thanks! There are some additional messages, but it is still not able to
mount the root fs:

loading kernel modules...
[2.389419] dw-apb-uart ff18.serial: Failed to create device link
(0x180) with supplier vcc3v3-sys for /serial@ff18/bluetooth
[2.874257] dw-apb-uart ff18.serial: Failed to create device link
(0x180) with supplier 0-001b for /serial@ff18/bluetooth
[3.287885] usb 1-1: device descriptor read/all, error -11
[3.551888] usb 1-1: device descriptor read/all, error -11
[3.963926] usb 1-1: device descriptor read/8, error -11
[4.067890] usb 8-1: device descriptor read/all, error -11
[4.083869] usb 1-1: device descriptor read/8, error -11
[4.327909] usb 1-1: device descriptor read/8, error -11
[4.447887] usb 1-1: device descriptor read/8, error -11
[4.467851] usb 8-1: device descriptor read/all, error -11
[4.552509] usb usb1-port1: unable to enumerate USB device
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
[4.695819] usb 8-1: device descriptor read/8, error -11
[4.815809] usb 8-1: device descriptor read/8, error -11
[5.127816] usb 8-1: device descriptor read/8, error -11
[5.247805] usb 8-1: device descriptor read/8, error -11
[5.351690] usb usb8-port1: unable to enumerate USB device
waiting for partition '31393730-3031-3031-3139-31313833' to appear...

> 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.
> 
> 

With that one, the installer starts on the HDMI display (I have a root shell
on the serial console) and I can select language, location, keyboard layout
and hostname. At the step of detecting the network, it says that there seems
not to be any internet connection. I checked the LAN cable, tried the one of
my laptop, but it is still the same.

So, there is progress!

Cheers,
David.

Re: Trying to install Guix 1.5 on rockpro64

[Vagrant Cascadian]

On 2026-01-25, ruthert...@ditigal.xyz wrote:
> David Lecompte  writes:
>>> Here is the PR  and here
>>>  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)
> 
>
> 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.
> 
>
> 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
tun61440  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
mtd77824  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
sm412288  0
dwc3_of_simple 12288  0
snd_soc_spdif_tx   12288  0
snd_soc_audio_graph_card20480  0
pwm_regulator  12288  0
snd_soc_simple_card20480  0
dm_mod143360  4
snd_soc_simple_card_utils24576  2 
snd_soc_audio_graph_card,snd_soc_simple_card
leds_gpio  12288  0
gpio_keys  20480  0
realtek49152  1
panfrost   86016  0
governor_simpleondemand12288  0
snd_soc_rockchip_i2s24576  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_vpu278528  0
rockchip_vdec  45056  0
dw_hdmi49152  2 dw_hdmi_i2s_audio,rockchipdrm
snd_compress   24576  1 snd_soc_core
dw_mipi_dsi20480  1 rockchipdrm
gpu_sched  49152  1 panfrost
analogix_dp45056  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,s

Re: Trying to install Guix 1.5 on rockpro64

[Rutherther]

Hi David,

David Lecompte  writes:

> Hi Rutherther,
>
>> You seem to have the installation media on a USB, is that right?
> Right.
>
>> 
>> Here is the PR  and here
>>  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)


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.


810530b37482f664f9300932b1383d9a586478dd8590087ab8caed04a9a40756 
guix-system-install.rockpro64.2.img

>> Other than that you can also try flashing the image on an sd card
>> instead of a USB.
>
> The image is nearly 1GB but my largest SD card is 256 MB. I have a PCI SATA
> card and probably a few SATA SSD or HDD available. Is there a better chance
> it works if I copy the installer on a SATA SSD or HDD?

I am pretty sure SATA won't work at the moment. That is probably
connected through PCIe and there is no PCIe modules right now. I am not
sure if it makes sense to add these to the initrd, I will think about
it.

The SD card would be the best bet, especially since Julien Lepiller also
shared they needed sdhci and sdhci-pltfm, both of those were already
present. (and the phy drivers for usb were also already present)

Rutherther

>
> David.

Re: Trying to install Guix 1.5 on rockpro64

[David Lecompte]

> I think the issue is that you're booting the image from a USB stick, but
> the kernel and initramfs don't have an appropriate driver. So it cannot
> mount the root filesystem.
> 
> On my rockpi, I had to add a few modules (specifically sdhci, sdhci-pltfm,
> phy-rockchip-usb and phy-rockchip-inno-usb2) before I switched to the
> linux-libre-arm64-generic kernel, which contains these drivers.
> 

Thanks for the hints!

> You could boot another linux distro and use the manual installation
> procedure to work around this issue.

Ok, something I need to learn. I'll further look at the manual.

David.

Re: Trying to install Guix 1.5 on rockpro64

[David Lecompte]

Hi Rutherther,

> You seem to have the installation media on a USB, is that right?
Right.

> 
> Here is the PR  and here
>  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:

loading kernel modules...
[2.404207] dw-apb-uart ff18.serial: Failed to create device link
(0x180) with supplier vcc3v3-sys for /serial@ff18/bluetooth
[2.876097] dw-apb-uart ff18.serial: Failed to create device link
(0x180) with supplier 0-001b for /serial@ff18/bluetooth
waiting for partition '31393730-3031-3031-3139-31313833' to appear...

> Other than that you can also try flashing the image on an sd card
> instead of a USB.

The image is nearly 1GB but my largest SD card is 256 MB. I have a PCI SATA
card and probably a few SATA SSD or HDD available. Is there a better chance
it works if I copy the installer on a SATA SSD or HDD?

David.

Re: Trying to install Guix 1.5 on rockpro64

[Julien Lepiller]

Le 24 janvier 2026 16:09:06 GMT+01:00, David Lecompte  a écrit 
:
>I now tried on a Rockpi 4, after installing u-boot on the SPI flash
>following instructions at
>https://ixypsilon.net/rock-pi-4-blobless-bootloader/
>
>The outcome is very similar:
>
>U-Boot TPL 2024.10 (Jan 24 2026 - 14:37:36)
>lpddr4_set_rate: change freq to 400MHz 0, 1
>Channel 0: LPDDR4, 400MHz  
>BW=32 Col=10 Bk=8 CS0 Row=15 CS=1 Die BW=16 Size=1024MB
>Channel 1: LPDDR4, 400MHz
>BW=32 Col=10 Bk=8 CS0 Row=15 CS=1 Die BW=16 Size=1024MB
>256B stride
>lpddr4_set_rate: change freq to 800MHz 1, 0
>Trying to boot from BOOTROM
>Returning to boot ROM...
>
>U-Boot SPL 2024.10 (Jan 24 2026 - 14:37:36 +0100)
>Trying to boot from SPI
>## Checking hash(es) for config config-1 ... OK
>## Checking hash(es) for Image atf-1 ... sha256+ OK
>## Checking hash(es) for Image u-boot ... sha256+ OK
>## Checking hash(es) for Image fdt-1 ... sha256+ OK
>## Checking hash(es) for Image atf-2 ... sha256+ OK
>## Checking hash(es) for Image atf-3 ... sha256+ OK
>## Checking hash(es) for Image atf-4 ... sha256+ OK
>load_simple_fit: Skip load 'atf-5': image size is 0!
>
>
>U-Boot 2024.10 (Jan 24 2026 - 14:37:36 +0100)
>
>SoC: Rockchip rk3399
>Reset cause: POR
>Model: Radxa ROCK Pi 4A
>DRAM:  2 GiB
>PMIC:  RK808 
>Core:  304 devices, 33 uclasses, devicetree: separate
>MMC:   mmc@fe32: 1, mmc@fe33: 0
>Loading Environment from SPIFlash... SF: Detected xt25f32 with page size 256
>Bytes, erase size 4 KiB, total 4 MiB
>*** Warning - bad CRC, using default environment
>
>In:serial,usbkbd
>Out:   serial,vidconsole
>Err:   serial,vidconsole
>Model: Radxa ROCK Pi 4A
>Net:   eth0: ethernet@fe30
>
>Hit any key to stop autoboot:  0 
>Scanning for bootflows in all bootdevs
>Seq  Method   State   UclassPart  Name  Filename
>---  ---  --        
>
>Scanning global bootmeth 'efi_mgr':
>Card did not respond to voltage select! : -110
>No EFI system partition
>No EFI system partition
>Failed to persist EFI variables
>No EFI system partition
>Failed to persist EFI variables
>No EFI system partition
>Failed to persist EFI variables
>  0  efi_mgr  ready   (none)   0  
>** Booting bootflow '' with efi_mgr
>Loading Boot 'mmc 0' failed
>EFI boot manager: Cannot load any image
>Boot failed (err=-14)
>Scanning bootdev 'mmc@fe32.bootdev':
>Card did not respond to voltage select! : -110
>Scanning bootdev 'mmc@fe33.bootdev':
>rockchip_pcie pcie@f800: PCIe link training gen1 timeout!
>rockchip_pcie pcie@f800: PCIe link training gen1 timeout!
>scanning bus for devices...
>Bus usb@fe38: USB EHCI 1.00
>Bus usb@fe3c: USB EHCI 1.00
>Bus usb@fe80: Register 2000140 NbrPorts 2
>Starting the controller
>USB XHCI 1.10
>Bus usb@fe90: Register 2000140 NbrPorts 2
>Starting the controller
>USB XHCI 1.10
>scanning bus usb@fe38 for devices... 2 USB Device(s) found
>scanning bus usb@fe3c for devices... 1 USB Device(s) found
>scanning bus usb@fe80 for devices... 1 USB Device(s) found
>scanning bus usb@fe90 for devices... 1 USB Device(s) found
>Scanning bootdev 'usb_mass_storage.lun0.bootdev':
>  1  efi  ready   usb_mass_2  usb_mass_storage.lun0.boo
>/EFI/BOOT/BOOTAA64.EFI
>** Booting bootflow 'usb_mass_storage.lun0.bootdev.part_2' with efi
>Booting /\EFI\BOOT\BOOTAA64.EFI
>GC Warning: pthread_getattr_np or pthread_attr_getstack failed for main
>thread
>GC Warning: Could not open /proc/stat
>Welcome, this is GNU's early boot Guile.
>Use 'gnu.repl' for an initrd REPL.
>
>loading kernel modules...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-3031-3139-31313833' to appear...
>waiting for partition '31393730-3031-303

Re: Trying to install Guix 1.5 on rockpro64

[Rutherther]

Hey David,

as is on the download page, the aarch64 artifacts are sort of
experimental. Unfortunately they weren't tested on many devices and for
me it's hard to guess the modules for now to generally support more
devices. Sorry it doesn't boot on your device. The tested devices are
only honeycomb and Thelio Astra that do work, since RC1 no one has
reported back to us if it works or not for them on their devices.

David Lecompte  writes:

>
> I tried the Guix 1.5 aarch64 installer on it. On the display connected via
> HDMI, after a while, there is a menu with two entries: Install GNU Guix 1.5
> and Firmware setup. In several boot attempts, I managed once to go to the
> second menu by pressing the down arrow key on a USB keyboard, but between
> the key press and the star changing to the second entry, it is more than 10
> seconds.

A bit strange, but not sure if we will be able to do something about that.

>
> When the boot process continues, on the serial console, it ends up with a
> guile prompt (there is nothing on the HDMI display at all):

Great that you have a serial console, it makes debugging much more easier.

> waiting for partition '31393730-3031-3031-3139-31313833' to appear...
> ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> failed to resolve partition "31393730-3031-3031-3139-31313833"

This is probably the most expected kind of issue with these images. They
might be missing vendor specific modules for being able to load the
installation media.

You seem to have the installation media on a USB, is that right?

>
> I welcome any advice on how to proceed to install Guix on this board.

I have tried looking at the device tree for rockpro64 and
guessing few more modules that might be necessary. Care to try it?

Here is the PR  and here
 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.

Other than that you can also try flashing the image on an sd card
instead of a USB. (but if that worked you probably would have trouble
installing Guix to the sd card afterwards as you're booting from it) -
then it would at least be possible to figure out all the modules
necessary for supporting usb. And once we figure that out I can send you
another image.

Rutherther

SHA256
91a0e08de4389dba4d814af9355da1f250419a5424ba2d6d661921e3e5694214  
guix-system-install.rockpro64.iso

Also signed by me at .sig.

>
> Cheers,
> David.

Re: Trying to install Guix 1.5 on rockpro64

[David Lecompte]

I now tried on a Rockpi 4, after installing u-boot on the SPI flash
following instructions at
https://ixypsilon.net/rock-pi-4-blobless-bootloader/

The outcome is very similar:

U-Boot TPL 2024.10 (Jan 24 2026 - 14:37:36)
lpddr4_set_rate: change freq to 400MHz 0, 1
Channel 0: LPDDR4, 400MHz  
BW=32 Col=10 Bk=8 CS0 Row=15 CS=1 Die BW=16 Size=1024MB
Channel 1: LPDDR4, 400MHz
BW=32 Col=10 Bk=8 CS0 Row=15 CS=1 Die BW=16 Size=1024MB
256B stride
lpddr4_set_rate: change freq to 800MHz 1, 0
Trying to boot from BOOTROM
Returning to boot ROM...

U-Boot SPL 2024.10 (Jan 24 2026 - 14:37:36 +0100)
Trying to boot from SPI
## Checking hash(es) for config config-1 ... OK
## Checking hash(es) for Image atf-1 ... sha256+ OK
## Checking hash(es) for Image u-boot ... sha256+ OK
## Checking hash(es) for Image fdt-1 ... sha256+ OK
## Checking hash(es) for Image atf-2 ... sha256+ OK
## Checking hash(es) for Image atf-3 ... sha256+ OK
## Checking hash(es) for Image atf-4 ... sha256+ OK
load_simple_fit: Skip load 'atf-5': image size is 0!


U-Boot 2024.10 (Jan 24 2026 - 14:37:36 +0100)

SoC: Rockchip rk3399
Reset cause: POR
Model: Radxa ROCK Pi 4A
DRAM:  2 GiB
PMIC:  RK808 
Core:  304 devices, 33 uclasses, devicetree: separate
MMC:   mmc@fe32: 1, mmc@fe33: 0
Loading Environment from SPIFlash... SF: Detected xt25f32 with page size 256
Bytes, erase size 4 KiB, total 4 MiB
*** Warning - bad CRC, using default environment

In:serial,usbkbd
Out:   serial,vidconsole
Err:   serial,vidconsole
Model: Radxa ROCK Pi 4A
Net:   eth0: ethernet@fe30

Hit any key to stop autoboot:  0 
Scanning for bootflows in all bootdevs
Seq  Method   State   UclassPart  Name  Filename
---  ---  --        

Scanning global bootmeth 'efi_mgr':
Card did not respond to voltage select! : -110
No EFI system partition
No EFI system partition
Failed to persist EFI variables
No EFI system partition
Failed to persist EFI variables
No EFI system partition
Failed to persist EFI variables
  0  efi_mgr  ready   (none)   0  
** Booting bootflow '' with efi_mgr
Loading Boot 'mmc 0' failed
EFI boot manager: Cannot load any image
Boot failed (err=-14)
Scanning bootdev 'mmc@fe32.bootdev':
Card did not respond to voltage select! : -110
Scanning bootdev 'mmc@fe33.bootdev':
rockchip_pcie pcie@f800: PCIe link training gen1 timeout!
rockchip_pcie pcie@f800: PCIe link training gen1 timeout!
scanning bus for devices...
Bus usb@fe38: USB EHCI 1.00
Bus usb@fe3c: USB EHCI 1.00
Bus usb@fe80: Register 2000140 NbrPorts 2
Starting the controller
USB XHCI 1.10
Bus usb@fe90: Register 2000140 NbrPorts 2
Starting the controller
USB XHCI 1.10
scanning bus usb@fe38 for devices... 2 USB Device(s) found
scanning bus usb@fe3c for devices... 1 USB Device(s) found
scanning bus usb@fe80 for devices... 1 USB Device(s) found
scanning bus usb@fe90 for devices... 1 USB Device(s) found
Scanning bootdev 'usb_mass_storage.lun0.bootdev':
  1  efi  ready   usb_mass_2  usb_mass_storage.lun0.boo
/EFI/BOOT/BOOTAA64.EFI
** Booting bootflow 'usb_mass_storage.lun0.bootdev.part_2' with efi
Booting /\EFI\BOOT\BOOTAA64.EFI
GC Warning: pthread_getattr_np or pthread_attr_getstack failed for main
thread
GC Warning: Could not open /proc/stat
Welcome, this is GNU's early boot Guile.
Use 'gnu.repl' for an initrd REPL.

loading kernel modules...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear...
waiting for partition '31393730-3031-3031-3139-31313833' to appear..