On 18/05/2016 17:35, Peter Maydell wrote: >> > $ arm-linux-gnueabi-gcc -march=armv6 -O2 -c a.c > I don't think armv6 is a sufficiently common host for us to > worry too much about how its atomic primitives come out. > ARMv7 and 64-bit ARMv8 are more relevant, I think. > (v7 probably gets compiled the same way as v6 here, though.)
Well, v6 is raspberry pi isn't it? Paolo