TMS320F280025C: F280025C是否支持TI-RTOS？如果支持 如何在工程中移植？

/**
 * main.c
 */
#include "device.h"
#include "driverlib.h"

#include <stdint.h>
#include <stdlib.h>
#include <stddef.h>
#include <string.h>
#include <stdio.h>
#include <math.h>
#include <ti/sysbios/BIOS.h>
#include <ti/sysbios/knl/Task.h>
#include <ti/sysbios/knl/Event.h>
#include <ti/sysbios/knl/Semaphore.h>
#include <ti/sysbios/knl/Clock.h>
#include <ti/sysbios/heaps/HeapBuf.h>
#include <ti/sysbios/heaps/HeapMem.h>
#include <ti/sysbios/knl/Event.h>

void func(void)
{

}
int main(void)
{
    Task_Params     taskParams;
    Task_Params_init(&taskParams);
    taskParams.priority = 3;
    //
    // Initializes system control, device clock, and peripherals
    //
    Device_init();
    Device_initGPIO();
    //
    // Initializes PIE and clear PIE registers. Disables CPU interrupts.
    // and clear all CPU interrupt flags.
    //
    Interrupt_initModule();

    //
    // Initialize the PIE vector table with pointers to the shell interrupt
    // Service Routines (ISR).
    //
    Interrupt_initVectorTable();

    DEVICE_DELAY_US(1000);

	while (1)
	{

	}

}