Development tree for Cortex-A15?

[Jemma Jones]

> Subject: Re: Development tree for Cortex-A15?

> 
> On Thu, 3 May 2012 14:35:55 +0100 (BST), Jemma Jones
> <jemmajones81 at yahoo.co.uk> wrote:
>>>  Subject: Re: Development tree for Cortex-A15?
>> 
>>> 
>>>  On Thu, 3 May 2012 12:56:39 +0100 (BST), Jemma Jones
>>>  <jemmajones81 at yahoo.co.uk> wrote:
>>> 
>>>  Hi Jemma,
>>> 
>>>>   Hi, I'm looking for the latest KVM-enabled developer version 
> of the
>>>  Linux
>>>>   kernel for ARM on the Versatile Express board with the Cortex-A15
>>>>   CPU. 
>>> 
>>>  It really depends on what you call "developer version". As 
> far as I 
>>>  know,
>>>  there is nothing but dev trees around ;-).
>>> 
>>>>   I have pulled from these two trees
>>>> 
>>>> 
>>> 
> http://git.kernel.org/?p=linux/kernel/git/cmarinas/linux-arm-arch.git;a=summary
>>>> 
>>> 
> http://git.kernel.org/?p=linux/kernel/git/maz/arm-platforms.git;a=summary
>>>> 
>>>>   But it seems the 2nd one is more up-to-date with KVM enablement 
> while
>>>>   it
>>>>   doesn't have any support for the A15 VE board? And the 1st one 
> 
>>>  doesn't
>>>>   support KVM on ARM with the ARMv7 virtualization extensions?
>>> 
>>>  First, my tree (the second one) does support the A15. Otherwise I'd
> have
>>>  a
>>>  hard time testing my own code... Which branch are you looking at?
> Please
>>>  note that the KVM branches in this tree are under heavy development,
> and
>>>  are only suitable if you don't mind frequent rebases and regular
> breakage
>>>  due to bleeding edge code.
>> 
>>  I'm currently on kvm-arm-v7-ael, because it looked like the most
>>  up-to-date one. Which one should I be using for Cortex-A15 support?
> 
> That branch is good enough, if you have a bleeding edge QEMU. Note that
> the VE A15 support in that tree is DT only. I'm working on a v3.4 based one
> at the moment, but that's not completely ready yet.

I'm just a little confused because under arch/arm/mach-vexpress/ there is no A15 tile? On the virtualopensystems.com git (which you quote above) you had to explicitly enable the board and it would show up in the .config as CONFIG_ARCH_VEXPRESS_CA15X4. Is that not the case anymore in your kernel tree?