From: anton@mips.complang.tuwien.ac.at   
      
   Michael S  writes:   
   >BTW, can you find a proof link for A64FX being TSO.   
   >My understanding is that you learned it from Jonathan Corbet who in turn   
   >learned it from Hector Martin.   
      
   Correct.   
      
   >But what is the source of Hector Martin?   
   >I certainly don't see it in Fujitsu's "A64FX Microarchitecture Manual"   
   >or in the Datasheet.   
      
   In that case, I would ask Hector Martin, if I wanted proof.   
      
   - anton   
   --   
   'Anyone trying for "industrial quality" ISA should avoid undefined behavior.'   
     Mitch Alsup,    
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)