95 volatile int dummyCount = 0;
void LED_Init(void)
Initialize development board LEDS, example function.
void CLOCK_Init(void)
Initialize system clock (PLL)
Runs on TM4C123 Command line interface.
void OS_bWait(Sema4Type *semaPt)
Wait on semaphore, binary.
void OS_Suspend(void)
This function suspends current thread by forcing context switch call.
INT8 OS_AddThread(void(*task)(void), INT32U priority)
This function decides next thread to run, now uses priority scheduler.
void OS_MailBox_Init(void)
Initialize mailbox for OS.
void OS_bSignal(Sema4Type *semaPt)
Signal semaphore to be free, set to 1.
void OS_Launch(INT32U theTimeSlice)
This function starts the scheduler and enables interrupts.
void OS_Sleep(INT32U sleepTime)
This function puts a thread to sleep.
void OS_Init(void)
initialize operating system, disable interrupts until OS_Launch initialize OS controlled I/O: serial,...
void OS_InitSemaphore(Sema4Type *semaPt, INT32 value)
Initialize semaphore to given value.
void OS_ASM_Wait(Sema4Type *semaPt)
Spinlock semaphore wait using ARM exclusion.
void OS_ASM_Signal(Sema4Type *semaPt)
Spinlock semaphore signal using ARM exclusion.
void Flash_Green(void)
Blink Green LED.
void HardFault_Handler(void)
HArdfault Handler Sets LEDS to white to indicate fault, assumes LEDS already initialized.
void Flash_Red2(void)
Blink Red LED.
int main(void)
Example usecase of RTOS.
void DummyThread(void)
Dummy Thread, Prevent OS crash if no threads running.
void WrapInterpreter(void)
Run interpreter using UART0 (in USB debugger)
void Flash_Blue(void)
Blink Blue LED.
void Flash_Red(void)
Blink Red LED.