Banana Pi BPI-R4 support?

[Attila Lendvai]

dear Guix,

i'm hoping to run Guix on this Arm Corex-A73 board:

https://wiki.banana-pi.org/Banana_Pi_BPI-R4

MediaTek MT7988A (Filogic 880)

i'm clueless about how to add support for a new platform to guix, but i'm 
experienced in guile, and in hacking near the metal.

with that in mind: how hard/hopeless would this task be? both 1) technically 
(if we ignore any possible use of blobs), and also 2) regarding the FSDG 
standard?

i don't see any mention of MT7988A here:

https://trustedfirmware-a.readthedocs.io/en/latest/index.html
https://review.trustedfirmware.org/admin/repos/TF-A/trusted-firmware-a,general

i'd appreciate some bird's eye view insights before i get lost in a pointless 
struggle.

-- 
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“Heresy is only another word for freedom of thought.”
        — Graham Greene (1904–1991)