CPU: TM4C123G Launchpad
RTOS: Bare Metal
I would like to set PendSV from an interrupt using Tivaware.
I reviewed the Tivaware documentation and it states that only INT_* values in the library can be used with IntPendSet() and IntTrigger(). PendSV is listed as a FAULT_* value.
I tried IntTrigger(FAULT_PENDSV); and it didn't work (Yes, I know I violated the documentation).
What is the best way to software trigger PEND_SV? Are three any examples?
Thanks,
-Vince