All of the Mill's cache, not just one level, is virtual SAS.

Further, the Mill has no false aliasing, consistent caches, is always sequentially consistent and has no aliasing races. Some of this is covered in http://millcomputing.com/wiki/Memory.

The more criticisms I hear of this architecture, the more impressed I get.