This contains a flake based on the nixos-raspberrypi repository to build a NixOS system sufficient to run Kodi.
If this is not the case for you already, you may want to make sure that
the firmware partition /dev/disk/by-label/FIRMWARE
is properly mounted to
/boot/firmware
: