From d09e199aaf69d838c89ca3a39d25af0bed8ced4f Mon Sep 17 00:00:00 2001
From: Matthias Reichl <hias@horus.com>
Date: Tue, 25 Jun 2019 22:54:32 +0200
Subject: [PATCH] RPi: always install bcm2835-driver

bcm2835-driver provides various tools like vcdbg and tvservice

Signed-off-by: Matthias Reichl <hias@horus.com>
---
 projects/RPi/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/RPi/options b/projects/RPi/options
index 8707aa2094..963799e8de 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -110,7 +110,7 @@
   # for a list of additional drivers see packages/linux-drivers
   # Space separated list is supported,
   # e.g. ADDITIONAL_DRIVERS="DRIVER1 DRIVER2"
-    ADDITIONAL_DRIVERS="$ADDITIONAL_DRIVERS rpi-cirrus-config"
+    ADDITIONAL_DRIVERS="$ADDITIONAL_DRIVERS rpi-cirrus-config bcm2835-driver"
 
   # build and install driver addons (yes / no)
     DRIVER_ADDONS_SUPPORT="yes"