TM4C123G RTOS Bluetooth

Hi there,

Was wondering if anyone has gotten a TI-RTOS project working with the Bluetopia SDK? I see that the HALCFG.c has a few macros pertaining to RTOS:

#ifdef __USE_TI_RTOS__

#include <xdc/std.h>              /* Sys/Bios Standard Header.                */
#include <xdc/runtime/Error.h>    /* Sys/Bios Error Header.                   */

#include <ti/sysbios/hal/Hwi.h>

#endif

And:

#ifdef __USE_TI_RTOS__

   Error_init(&eb);
   Hwi_create(INT_UART0, ConsoleIntHandler, NULL, &eb);

   if(Error_check(&eb))
   {
      //xxx No ability to blink an LED at this point
      while(1)
         ;
   }

   /* FreeRTOS requires RTOS-aware int handlers to be priority value 5  */
   /* or greater                                                        */
   IntPrioritySet(INT_UART0, 6 << 5);
#endif

But I haven't found any good examples of the Bluetooth SDK's use in an RTOS project setup. Any insight would be a big help! Thanks