Yes, exactly, led_fade is the preloaded program.
cd freedom-e-sdk
make software PROGRAM=led_fade
make upload PROGRAM=led_fade
The instructions say to use “screen” to monitor the serial port, but I find “minicom” works better.
sudo minicom -b 115200 -D /dev/ttyUSB1