On 11/12/2013 04:57 PM, Edward Nevill wrote: > OK to push? It's OK, kinda sorta, but does it work with builtin sim? And I really would like load acquire/store release to be properly defined. Thanks, Andrew.