Re: [seL4] sel4 for armv5 architecture

On 9 Nov 2015, at 12:12 , Raymond Jennings 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.