/sysbios

SYS/BIOS: kernel for Texas Instruments TI-RTOS

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'