Progress! There’s an undocumented armsysvhf
build “hidden” in the install script! Just run the installer with the option -system armsysvhf
and you get what the Vero needs
But… Tvheadend still doesn’t see the adapters, despite this:
FRONTEND: /dev/dvb/adapter0/frontend0
DVR: /dev/dvb/adapter0/dvr0
DMX: /dev/dvb/adapter0/demux0
Any idea? (see below)