On 25 September 2014 19:15, Peter Maydell <[email protected]> wrote: > On 16 September 2014 10:31, Claudio Fontana <[email protected]> wrote: >> This is obviously wrong, we have to put a \0 to separate the two options. >> >> But thee question remains, should we mark that as arm,armv8-timer compatible? > > I think we should, but only if the CPU we're presenting to > the guest is a v8 CPU (ie the ARM_FEATURE_V8 bit is set for > the CPU). > > -- PMM
Ok I am sending a patch for this momentarily. Claudio
