On 2022-08-13, Tobias Platen wrote:
> Today I began building the Guix System for my ROCKPro64.
> I installed Guix on top of Debian and tried to build uboot, it works:
>
> guix build u-boot-rockpro64-rk3399
> successfully built /gnu/store/g1d4kjgn9b46vqk9mwhd0kc2r6sfi7cz-u-boot-
> rockpro64-rk3399-2022.04.drv
> /gnu/store/90p0yndkj89c5chnri2asj9m46glxq50-u-boot-rockpro64-rk3399-
> 2022.04

Yay!

Interestingly, a significant part of my reason for packaging guix for
Debian was to be able to bootstrap Guix System on arm* devices where
Debian was already working somewhat. :)

I think I've only used that functionality once or twice, though.

I did the opposite with the pinebook pro, where I first got Guix System
running on it, and eventually installed Debian with it. :)


live well,
  vagrant