From df47b8be68f527340db9bdc0928ea39b537b7492 Mon Sep 17 00:00:00 2001
From: Matthias Reichl <hias@horus.com>
Date: Sat, 23 Mar 2019 13:43:47 +0100
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 3b0654d979..673babb5a5 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -116,7 +116,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"