From c53a0f30211eaa292c94e27d15766b3d984fa289 Mon Sep 17 00:00:00 2001
From: Konsta <konsta09@gmail.com>
Date: Thu, 7 Dec 2023 20:09:48 +0200
Subject: [PATCH] temporarily add mockito-kotlin to device manifest

* Missing from android-14.0.0_r17 manifest but needed because of
  https://android.googlesource.com/platform/frameworks/base/+/625a23ff22f0a9327b9a24341dfa0b8fbaf61a1b.
---
 manifest_brcm_rpi.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/manifest_brcm_rpi.xml b/manifest_brcm_rpi.xml
index 2fc54be..2e3c40f 100644
--- a/manifest_brcm_rpi.xml
+++ b/manifest_brcm_rpi.xml
@@ -65,4 +65,7 @@
   <project path="external/wpa_supplicant_8" name="raspberry-vanilla/android_external_wpa_supplicant_8" remote="github" revision="android-14.0" />
   <project path="packages/modules/Wifi" name="raspberry-vanilla/android_packages_modules_Wifi" remote="github" revision="android-14.0" />
 
+  <!-- Mockito-Kotlin -->
+  <project path="external/mockito-kotlin" name="platform/external/mockito-kotlin" revision="main" />
+
 </manifest>