AGSaidi

https://doc.rust-lang.org/std/sync/atomic/struct.AtomicUsize.html#method.compare_exchange Even only supporting it on some architectures would be helpful. I'm happy to attempt an implementation if there is roughly agreement that it's desirable.

I don't want to do atomic operations to MMIO regions, only for InMemoryRegisters.

I was imagining what @hudson-ayers said too. I've gone ahead and hacked this to try it both ways and found a couple of wrinkles. Implementing it outside of the crate...

>@AGSaidi I can provide you with a minimal example of what this would look like tomorrow. I didn't understand what you were proposing. Thanks for the offer, but i think...

I'd like to see aarch64-* support including Mac OS and aarch64-unknown-linux-gnu. Is it just the values in [defined here](https://github.com/model-checking/kani/blob/f719b565968568335d9be03ef27c5d05bb8fd0b7/kani-compiler/src/codegen_cprover_gotoc/context/goto_ctx.rs#L375-L392) that you need? Are these the rust types or the C...

The AAPCS for aarch64 specifies char is an unsigned byte: https://github.com/ARM-software/abi-aa/blob/main/aapcs64/aapcs64.rst#table-3

@martin-frbg Would you be amenable to a another CI vendor (E.g. cirrus CI) to enable CI on Graviton2? It doesn't look like the drone.io build has successfully run in a...

martin-frbg@ if access to a 64 core system would help, please let me know.

@nSircombe what compiler is openblas being built with. Is it being built with `-moutline-atomics`? We certainly saw issues with OpenBLAS pthreads with ld/st exclusives staving threads.

I agree that having a wheel specifically targeted an N1 is ideal. For other users a generic v8.0 wheel could be created so it would work on Raspberry PIs and...