Define additional prebuilt_* modules
This resolves analysis time build failures caused by prebuilt_* module
generation in fsgen.
Test: lunch <failing_lunch_target> && m nothing
Bug: 377707382
Change-Id: Ic8a74b852f485cd6de0ec1e9710e6e3df349ec1a
diff --git a/android/neverallow.go b/android/neverallow.go
index 6251e2b..6176a99 100644
--- a/android/neverallow.go
+++ b/android/neverallow.go
@@ -336,6 +336,8 @@
"prebuilt_odm",
"prebuilt_vendor_dlkm",
"prebuilt_bt_firmware",
+ "prebuilt_tvservice",
+ "prebuilt_optee",
).
DefinedInBpFile().
Because("module type not allowed to be defined in bp file")