Re: Devicetree overlay (on Rock64)

I have a ROCKPro64 (Hexa-Core Rockchip RK3399, 4GB) which I plan to use for guix development too. I was already able to get PureOS in a chroot. Tobias

Devicetree overlay (on Rock64)

Hi Guix! (Re-posting from help-g...@gnu.org as I didn't get any answers there.) I'm starting a small embedded project using a Rock64, successfully running Guix on it (and keeping track of config at [0]). It seems that the Rock64 has a few design mistakes (as always I guess, but in this case