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'
SYS/BIOS: kernel for Texas Instruments TI-RTOS