diff --git a/public/gatekeeperd.te b/public/gatekeeperd.te
index 3831dff71fdf82adac3dac3eb4cd1a2c6a8af424..88a2e00fc118548325de7ab79bbcbcff10899e67 100644
--- a/public/gatekeeperd.te
+++ b/public/gatekeeperd.te
@@ -1,5 +1,6 @@
+type gatekeeperd, domain;
 # normally uses HAL; implements HAL in pass-through mode only
-type gatekeeperd, hal_gatekeeper, domain;
+hal_impl_domain(gatekeeperd, hal_gatekeeper)
 type gatekeeperd_exec, exec_type, file_type;
 
 # gatekeeperd
diff --git a/public/rild.te b/public/rild.te
index 4d9cb21117aac00b1ee1292ae816ab847360cdfb..1ce19e3dce74885089bb551e8041d219fc2af8d1 100644
--- a/public/rild.te
+++ b/public/rild.te
@@ -1,5 +1,6 @@
 # rild - radio interface layer daemon
-type rild, domain, domain_deprecated, hal_telephony;
+type rild, domain, domain_deprecated;
+hal_impl_domain(rild, hal_telephony)
 type rild_exec, exec_type, file_type;
 
 net_domain(rild)