On 15/01/16 22:47, Sinan Kaya wrote:
> On 1/15/2016 12:32 PM, Marc Zyngier wrote:
Do you have a link to that? Seeing it would help to ease my concerns.
The QEMU driver has not been posted yet. As far as I know, it just
discovers the memory
resources on the platform object
Hi Chris,
On 15/01/16 20:02, Chris Metcalf wrote:
> We are using GICv2 compatibility mode in the Fast Models/Foundation
> Models simulations we are running because the boot code (ATF/UEFI)
> doesn't support GICv3 in our system at the moment.
>
> However, starting with kernel 4.2, the guest
Hi Eric,
On Tue, Jan 12, 2016 at 4:04 PM, Eric Auger wrote:
>
> Hi Pavel,
> On 01/12/2016 10:49 AM, Pavel Fedin wrote:
> > Hello!
> >
> >> I now have access to HW that allows to bring out that task on ARM and I
> >> would be happy to try contributing on this thread on
On 2016/1/15 19:08, Andrew Jones wrote:
> On Fri, Jan 15, 2016 at 02:27:53PM +0800, Shannon Zhao wrote:
>> > From: Shannon Zhao
>> >
>> > To support guest PMUv3, use one bit of the VCPU INIT feature array.
>> > Initialize the PMU when initialzing the vcpu with that bit