On Tue, Jul 08, 2014 at 12:09:06PM +0100, Marc Zyngier wrote:
It is now quite easy to delay the allocation of the vgic tables
until we actually require it to be up and running (when the first
the first starting ?
starting to kick around).
This allow us to allocate memory for the exact
It is now quite easy to delay the allocation of the vgic tables
until we actually require it to be up and running (when the first
starting to kick around).
This allow us to allocate memory for the exact number of CPUs we
have. As nobody configures the number of interrupts just yet,
use a fallback
