diff --git a/sepolicy/public/attributes b/sepolicy/public/attributes
index 3c736eb..8add675 100644
--- a/sepolicy/public/attributes
+++ b/sepolicy/public/attributes
@@ -1 +1,2 @@
-hal_attribute(omni_fod)
+# HALs
+hal_attribute_omni(omni_fod)
diff --git a/sepolicy/public/file.te b/sepolicy/public/file.te
new file mode 100644
index 0000000..871b09e
--- /dev/null
+++ b/sepolicy/public/file.te
@@ -0,0 +1 @@
+type dummy_type_meant_to_prevent_selinux_compilation_from_failing_when_system_ext_public_dir_has_nothing_but_attributes;
diff --git a/sepolicy/public/te_macros b/sepolicy/public/te_macros
new file mode 100644
index 0000000..72be01b
--- /dev/null
+++ b/sepolicy/public/te_macros
@@ -0,0 +1,10 @@
+#####################################
+# hal_attribute_omni(hal_name)
+define(`hal_attribute_omni', `
+attribute hal_$1;
+expandattribute hal_$1 true;
+attribute hal_$1_client;
+expandattribute hal_$1_client true;
+attribute hal_$1_server;
+expandattribute hal_$1_server false;
+')