From fc1ec67aa450a0cd653d9867a6a0c17c8fe7f850 Mon Sep 17 00:00:00 2001
From: Adam Shih <adamshih@google.com>
Date: Wed, 20 Oct 2021 10:41:56 +0800
Subject: [PATCH] fix init_citadel service access

Bug: 202906904
Test: boot to home with no relevant error
Change-Id: I6729ced49cbbecbc33234e311fb81652a065fe39
---
 dauntless/init_citadel.te        | 1 +
 tracking_denials/init_citadel.te | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 tracking_denials/init_citadel.te

diff --git a/dauntless/init_citadel.te b/dauntless/init_citadel.te
index 2c8246ba..35a93bc7 100644
--- a/dauntless/init_citadel.te
+++ b/dauntless/init_citadel.te
@@ -2,3 +2,4 @@ type init_citadel, domain;
 type init_citadel_exec, exec_type, vendor_file_type, file_type;
 
 init_daemon_domain(init_citadel)
+allow init_citadel citadeld_service:service_manager find;
diff --git a/tracking_denials/init_citadel.te b/tracking_denials/init_citadel.te
deleted file mode 100644
index 4ac161ee..00000000
--- a/tracking_denials/init_citadel.te
+++ /dev/null
@@ -1,2 +0,0 @@
-# b/202906904
-dontaudit init_citadel default_android_vndservice:service_manager { find };