I recently saw a post on the GUIX mailing list "Please review blog post draft: powerpc64le-linux support"
> I've been using the Free Software firmware replacement for the NIC
> since a while now and it's working great:
>
https://github.com/meklort/bcm5719-fw/So I compiled the firmware and installed it on my Talos II. When GUIX for powerpc64le-linux comes out, I will try out.