Hi Paolo,
On Tue, Apr 30, 2019 at 9:55 PM Paolo Bonzini <pbonzini@redhat.com> wrote:
>
> On 27/04/19 16:14, Philippe Mathieu-Daudé wrote:
> > Hi Edgar, Peter,
> >
> > Few fixes while cleaning Kconfig, trying to optimize builds.
> >
> > Regards,
> >
> > Phil.
> >
> > Philippe Mathieu-Daudé (3):
> > hw/Kconfig: Move the generic XLNX_ZYNQMP to the root hw/Kconfig
> > hw/intc: Only build the xlnx-iomod-intc device for the MicroBlaze PMU
> > hw/dma: Do not build the xlnx_dpdma device for the MicroBlaze machines
> >
> > hw/Kconfig | 3 +++
> > hw/dma/Makefile.objs | 1 -
> > hw/intc/Makefile.objs | 2 +-
> > hw/timer/Kconfig | 3 ---
> > 4 files changed, 4 insertions(+), 5 deletions(-)
> >
>
> Queued, thanks.
I don't see these patches in your queue merged on "Fri 17 May", are
you planning to include them in your next batch?
Thanks,
Phil.