Assuming arm-none-eabi-gcc is in /usr: $ make -f bios.mak XDC_INSTALL_DIR=/path/to/xdctools_3_25_05_94 \ XDCARGS='gnu.targets.arm.M4F=/usr'
Assuming arm-none-eabi-gcc is in /usr: $ make -f bios.mak XDC_INSTALL_DIR=/path/to/xdctools_3_25_05_94 \ XDCARGS='gnu.targets.arm.M4F=/usr'