[Xenomai] [PATCH] fixes for rpi 2b build

[Philippe Gerum]

On 02/06/2018 05:09 AM, Greg Gallagher wrote:
> Small fix ups to enable building multi_v7_defconfig
> ---
>   drivers/gpio/gpio-mvebu.c          |  1 +
>   drivers/gpio/gpio-pl061.c          |  1 +
>   drivers/gpio/gpio-zynq.c           |  2 +-
>   drivers/irqchip/irq-atmel-aic5.c   |  6 ++++--
>   drivers/irqchip/irq-bcm7120-l2.c   | 15 +++++++++------
>   drivers/irqchip/irq-brcmstb-l2.c   | 10 ++++++----
>   drivers/irqchip/irq-dw-apb-ictl.c  |  1 +
>   drivers/pinctrl/pinctrl-rockchip.c |  8 ++++----
>   drivers/soc/dove/pmu.c             |  1 +
>   9 files changed, 28 insertions(+), 17 deletions(-)
> 

Merged, thanks.

-- 
Philippe.