Interrupt-Safe Mutexes

Implement mutexes that properly manage priority inversion in real-time multi-threaded environments.