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
:
sudo mount /dev/disk/by-label/FIRMWARE /boot/firmware
This wasn't the case for me (as it isn't done by default in NixOS disk images for the Raspberry Pi), which made me wonder for a while why everything wasn't working properly.