Hm, unfortunately, nix develop .#boards was unable to fix the issue.

In regard to the Urukul with red LEDs, I am not sure on how to troubleshoot if it is not an issue with the gateware I generated. Essentially, I generated a new device_db.py file and gateware to update our Kasli crate with SUServo mode and checked to ensure the DIP switches are in the correct location. I am also able to successfully run:
artiq_sinara_tester -o suservos
This executes fine, but my Urukul does not output a signal to measure with a spectrum analyzer. I presume this is tied to the red LEDs.
Any opinions would be appreciated. As an aside which may or may not be important, when briefly looking over our .json file, I did note that when changing our prior device_db.py file to account for SUServo mode, I may have flipped the port numbers for the Urukul? Is this significant? Ultimately, as I completely new to this, I am not sure on how the physical connections correspond to the .json file or where I can even look to verify physical connections inside our Kasli crate are connected appropriately.

Thanks for helping clear my confusion.