From 5d412e616cc9250da84c7ac118d78703f6002560 Mon Sep 17 00:00:00 2001
From: Andrei Gherzan <andrei@gherzan.ro>
Date: Fri, 12 Jul 2019 14:58:24 +0100
Subject: [PATCH] raspberrypi4.conf: Define uboot defconfig

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
---
 conf/machine/raspberrypi4.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf/machine/raspberrypi4.conf b/conf/machine/raspberrypi4.conf
index 22938eb..ebc506e 100644
--- a/conf/machine/raspberrypi4.conf
+++ b/conf/machine/raspberrypi4.conf
@@ -12,6 +12,7 @@ MACHINE_EXTRA_RRECOMMENDS += "\
 "
 
 SDIMG_KERNELIMAGE ?= "kernel7.img"
+UBOOT_MACHINE = "rpi_4_32b_config"
 SERIAL_CONSOLES ?= "115200;ttyS0"
 
 MACHINE_FEATURES_append = " vc4graphics"