Hi all,
I'm new to embedded work with ARM and TI's toolchain. I'm looking to implement or reuse an implementation of semaphores for the TMS570 with atomicity guarantees. I couldn't find any existing headers, and I'd rather not invest a ton of time in working up a formal model of the processor to verify my hand-written assembly if I don't have to.
Where can I find such a library? Is there one already available for this platform, and if so how could I have found it for myself? If I absolutely have to roll my own what's the best way to validate it?