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
