Hi Johan,
Is it correct that the pigpio library is not used any more by the driver and firmware?
It is still included in the installation script and generates an error message, but the driver is still created correctly.
I do not use the firmware but I don't see a reference in the makefile.
73,
Paul