The Patmos Makefile should have a relative path to Patmos tools: sudo /home/maxi/t-crest/patmos/../local/bin/patserdow -v /dev/ttyUSB0 null/firmware.elf