Barrelfish
|
Very simple ARMv7a spinlocks. More...
Very simple ARMv7a spinlocks.
Not exactly scalable, but serviceable for infrequent use (e.g. in the kernel for arbitrating the console UART).
We let the compiler do the heavy lifting here wrt. the memory model.