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 ...

The easiest way to get started is to flash the included hex file, this can be done using esptool.py or your ES32 flashing tool of choice. This file should be flashed at offset 0x0, i.e. in esptool, ...