Hi Marek,
On Wed, 2020-02-12 at 11:20 +0100, Marek Szyprowski wrote:
> Add drivers for the minimal set of devices needed to boot Raspberry Pi4
> board.
> 
> Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>

Just so you know, the amount of support on the RPi4 you might be able to get
updating bcm2835_defconfig's config is very limited. Only 1GB of ram and no
PCIe (so no USBs).

FYI I've been working on getting a workable configuration for arm32, short of
creating a new config altogether:
https://www.mail-archive.com/linuxppc-dev@lists.ozlabs.org/msg163770.html

That said, if you insist on booting with bcm2835_defconfig, I have no problem
with the patch.

Regards,
Nicolas

>  arch/arm/configs/bcm2835_defconfig | 3 +++
>  1 file changed, 3 insertions(+)
> 
> diff --git a/arch/arm/configs/bcm2835_defconfig
> b/arch/arm/configs/bcm2835_defconfig
> index 519ff58e67b3..b5e7c1bd95f2 100644
> --- a/arch/arm/configs/bcm2835_defconfig
> +++ b/arch/arm/configs/bcm2835_defconfig
> @@ -72,6 +72,7 @@ CONFIG_BLK_DEV_SD=y
>  CONFIG_SCSI_CONSTANTS=y
>  CONFIG_SCSI_SCAN_ASYNC=y
>  CONFIG_NETDEVICES=y
> +CONFIG_BCMGENET=y
>  CONFIG_USB_LAN78XX=y
>  CONFIG_USB_USBNET=y
>  CONFIG_USB_NET_SMSC95XX=y
> @@ -99,6 +100,8 @@ CONFIG_THERMAL=y
>  CONFIG_BCM2835_THERMAL=y
>  CONFIG_WATCHDOG=y
>  CONFIG_BCM2835_WDT=y
> +CONFIG_REGULATOR=y
> +CONFIG_REGULATOR_GPIO=y
>  CONFIG_MEDIA_SUPPORT=y
>  CONFIG_MEDIA_CAMERA_SUPPORT=y
>  CONFIG_DRM=y