diff --git a/private/hal_boot.te b/private/hal_boot.te
new file mode 100644
index 0000000..1307afd
--- /dev/null
+++ b/private/hal_boot.te
@@ -0,0 +1,2 @@
+# may be started by init
+init_daemon_domain(hal_boot)