Il 26/08/2013 00:58, Ákos Kovács ha scritto: > Signed-off-by: Ákos Kovács <akoskov...@gmx.com> > --- > hw/core/Kconfig | 11 +++++++++++ > 1 file changed, 11 insertions(+) > create mode 100644 hw/core/Kconfig > > diff --git a/hw/core/Kconfig b/hw/core/Kconfig > new file mode 100644 > index 0000000..8c275f7 > --- /dev/null > +++ b/hw/core/Kconfig > @@ -0,0 +1,11 @@ > +config EMPTY_SLOT > + bool > + > +config XILINX_AXI > + bool
Please make this "config STREAM" and "select" it from XILINX_AXI. > +config PTIMER > + bool Remember that this should be selected from all devices that use ptimers. > +config SOFTMMU > + bool This is not needed, it comes from config-target.mak. Paolo