that's strange... After I did
make ef_revolution_dfu
I had this output:
one: processed 117 XML files and generated 117 objects with no ID collisions. Total size of the data fields is 5041 bytes.
generating flight code
FWINFO /home/fabrizio/tools/librepilot/build/firmware/fw_revolution/fw_revolution.bin.firmware_info.c
DFU RESCUE /home/fabrizio/tools/librepilot/build/firmware/ef_revolution/ef_revolution.bin
sudo: /home/fabrizio/tools/librepilot/tools/dfu-util/bin/dfu-util: command not found
Makefile:59: recipe for target 'dfu' failed
make[1]: *** [dfu] Error 1
But I have installed dfu-util in Debian 9 (version 0.9) and it is searching for an exec in local directory...
Anyway, with mr_w method it runs!!!!
Thanks for your help
Fabrizio