This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

RTOS/EK-TM4C129EXL: Configuring BIOS

Part Number: EK-TM4C129EXL

Tool/software: TI-RTOS

I am working on EK-TM4C129EXL evaluvation kit. I am new to this evaluvation board. I have studied lab exercise PDF but still I am unclear about configuring the BIOS Idle function and linking libraries to it. Is there any workshop videos like that about Configuring BIOS other than the 2 Day Online training workshop video by Eric Wilbur