On 4 December 2012 11:05, Antonios Motakis <a.motakis@xxxxxxxxxxxxxxxxxxxxxx> wrote: > Indeed you are right, TIDCP does trap L2CTLR on the hardware... however it > doesn't trap on the Fast Models, which lead to this confusion from our side. Can you confirm which version of the model you are using, and make sure you've upgraded to the latest release? If that still displays this bug then you'll want to file it with ARM support so it can be fixed (but I suspect you'll find it's fixed in the latest release). thanks -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm