Via HN, the tale of chasing down a hardware bug in an ARM CPU.
ARM does not manufacture CPUs itself, but licenses out the designs, which are fleshed out into products, fabbed and sold by the licensees.
This particular ARM chip had an issue with “atomic” memory operations (operations that take place in a way which is immune to interference from other threads), turns out these operations bypassed the CPU cache, causing nonsensical results in some cases.
The bug was found and tracked down by the authors of the FreeRTOS operating system.