On 01/19/2015 04:30 AM, Michal Simek wrote: > diff --git a/drivers/remoteproc/Kconfig b/drivers/remoteproc/Kconfig > index 5e343bab9458..3955f42e9e9c 100644 > --- a/drivers/remoteproc/Kconfig > +++ b/drivers/remoteproc/Kconfig > @@ -64,4 +64,15 @@ config DA8XX_REMOTEPROC > It's safe to say n here if you're not interested in multimedia > offloading. > > +config MB_REMOTEPROC > + tristate "Support Microblaze remoteproc" > + depends on ARCH_ZYNQ && !DEBUG_SG > + select GPIO_XILINX > + select REMOTEPROC > + select RPMSG > + default m > + help > + Say y here to support Xilinx Microblaze remote processors > + on the Xilinx Zynq. > + > endmenu The dependency on !DEBUG_SG seems unusual, and worth a comment if it's truly needed. And the module should be disabled by default, no? -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html