[PATCH v3 1/2] powerpc/86xx: Board support for GE Fanuc's PPC9A

[Wim Van Sebroeck]

Hi Martyn,

> diff --git a/drivers/watchdog/Kconfig b/drivers/watchdog/Kconfig
> index c7352f7..ecf52e4 100644
> --- a/drivers/watchdog/Kconfig
> +++ b/drivers/watchdog/Kconfig
> @@ -772,7 +772,7 @@ config TXX9_WDT
>  
>  config GEF_WDT
>  	tristate "GE Fanuc Watchdog Timer"
> -	depends on GEF_SBC610 || GEF_SBC310
> +	depends on GEF_SBC610 || GEF_SBC310 || GEF_PPC9A
>  	---help---
>  	  Watchdog timer found in a number of GE Fanuc single board computers.

This part is Signed-off-by me. The rest I leave up to the powerpc maintainers.

Kind regards,
Wim.