Use fprime-util build to make the hex file to load onto Teensy. Note: There are depencies that may need to be updated. Change file extension of this file from .pde to ...