> On 9 Nov 2015, at 12:12 , Raymond Jennings <[email protected]> wrote: > > Can I say btw that virtually addressed caches stink?
Not really, they are fun, but not the sort of fun formal verification people like Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
