diff --git a/public/hal_wifi.te b/public/hal_wifi.te
index e06d8f9..d80dcfd 100644
--- a/public/hal_wifi.te
+++ b/public/hal_wifi.te
@@ -18,3 +18,5 @@
 allow hal_wifi self:netlink_generic_socket create_socket_perms_no_ioctl;
 # hal_wifi writes firmware paths to this file.
 allow hal_wifi sysfs_wlan_fwpath:file { w_file_perms };
+# allow hal_wifi to access /proc/modules to check if Wi-Fi driver is loaded
+allow hal_wifi proc_modules:file { getattr open read };
\ No newline at end of file