On 28/01/16 20:12, Chris Metcalf wrote:
> On 01/27/2016 04:12 AM, Marc Zyngier wrote:
>> On 26/01/16 20:43, Chris Metcalf wrote:
>>> On 01/18/2016 04:28 AM, Marc Zyngier wrote:
Hi Chris,
On 15/01/16 20:02, Chris Metcalf wrote:
> We are using GICv2 compatibility mode in the Fast
On 01/29/2016 02:24 AM, Ard Biesheuvel wrote:
On 28 January 2016 at 21:12, Chris Metcalf wrote:
On 01/27/2016 04:12 AM, Marc Zyngier wrote:
On 26/01/16 20:43, Chris Metcalf wrote:
On 01/18/2016 04:28 AM, Marc Zyngier wrote:
Hi Chris,
On 15/01/16 20:02, Chris Metcalf
On 01/29/2016 12:54 PM, Marc Zyngier wrote:
By the look of it, you're trying to use a GICv3 firmware, and pass a
GICv2 DT to the kernel. Do not do that. Either you use a GICv2 firmware
(having spoken to the ATF guys, there is a GICv2 driver in there that
should work for your case) and pass a
On 29/01/16 18:29, Chris Metcalf wrote:
> On 01/29/2016 12:54 PM, Marc Zyngier wrote:
>> By the look of it, you're trying to use a GICv3 firmware, and pass a
>> GICv2 DT to the kernel. Do not do that. Either you use a GICv2 firmware
>> (having spoken to the ATF guys, there is a GICv2 driver in
On 28 January 2016 at 21:12, Chris Metcalf wrote:
> On 01/27/2016 04:12 AM, Marc Zyngier wrote:
>>
>> On 26/01/16 20:43, Chris Metcalf wrote:
>>>
>>> On 01/18/2016 04:28 AM, Marc Zyngier wrote:
Hi Chris,
On 15/01/16 20:02, Chris Metcalf wrote:
>
>
On 01/18/2016 04:28 AM, Marc Zyngier wrote:
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,
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
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 couldn't boot up because it
wasn't getting timer interrupts.