Hi,

since the Raspberry Pi open firmware effort has unstalled

  https://github.com/librerpi/rpi-open-firmware/

I want to eventually package it in Guix.

It turns out that there are already config files for nix in the project above.

And we have a nix importer in Guix.

How do I use it

  guix import nix

in order to import those packages?

See

https://github.com/librerpi/rpi-open-firmware/blob/master/bcm2835.nix
https://github.com/librerpi/rpi-open-firmware/blob/master/bootloader.nix
https://github.com/librerpi/rpi-open-firmware/blob/master/default.nix
https://github.com/librerpi/rpi-open-firmware/blob/master/netboot.nix
https://github.com/librerpi/rpi-open-firmware/tree/master/nix

for what I want to import.