It’s rather complicated. Anyway, I have to adapt the source code to be able to
install Guix on this board. It will take me some time to figure out how to do
this. Maybe start by modifying `make-arm-trusted-firmware'.
-- 
Best regards,
Kevin Vigouroux

Reply via email to