Il 26/08/2013 00:58, Ákos Kovács ha scritto: > Signed-off-by: Ákos Kovács <akoskov...@gmx.com> > --- > hw/intc/Kconfig | 28 ++++++++++++++++++++++++++++ > 1 file changed, 28 insertions(+) > create mode 100644 hw/intc/Kconfig > > diff --git a/hw/intc/Kconfig b/hw/intc/Kconfig > new file mode 100644 > index 0000000..c4dec79 > --- /dev/null > +++ b/hw/intc/Kconfig > @@ -0,0 +1,28 @@ > +config HEATHROW_PIC > + bool > + > +config I8259 > + bool > + > +config PL190 > + bool > + > +config APIC > + bool > + > +config ARM_GIC > + bool > + > +config ARM_GIC_KVM > + bool > + depends on KVM
IIRC "KVM" is not available yet in Kconfig, so you need to leave this dependency out. > +config IOAPIC > + bool > + > +config OPENPICS > + bool > + > +config STELLARIS > + bool > + select ARM_GIC > Please make this symbol ARMV7M_NVIC, and make STELLARIS select it. Paolo