Hi Paolo, On Tue, Apr 30, 2019 at 9:55 PM Paolo Bonzini <pbonz...@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.
