It is, but @torsti76 has made an easy RPi image with the latest firmware on it: https://gitlab.com/tkurbad/amiga-hardware-info/-/tree/master/BFG9060/tool?ref_type=heads
Original firmware: https://gitlab.com/MHeinrichs/a4000-tk/-/tree/master/Logic?ref_type=heads
Original firmware: https://gitlab.com/MHeinrichs/a4000-tk/-/tree/master/Logic?ref_type=heads