On 25 September 2014 19:15, Peter Maydell <peter.mayd...@linaro.org> wrote: > On 16 September 2014 10:31, Claudio Fontana <hw.clau...@gmail.com> 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
