How we can load a guixsd distribution on raspberry pi? As you know guix is a unix package and guixsd is an operation system that has guix inside itself.
In the below link is the different download package of guix and guixsd, which is suitable? http://guix.gnu.org/download/
I am newbie to raspberry pi, is there any tutorial? Which version of raspberry pi is more suitable? 3 or 4?
in this link there is an instruction for build image for beaglebone (that has u-boot), but for raspberry pi i don't how to do that.
In this link is also another tutorial about run guixsd on beaglebone.