diff --git a/public/hal_wifi.te b/public/hal_wifi.te
index e06d8f9b08d8ab2d88a2273ef55e89635f9a46d6..d80dcfda31583f283945ac4660e1c22aabfd34ab 100644
--- a/public/hal_wifi.te
+++ b/public/hal_wifi.te
@@ -18,3 +18,5 @@ allow hal_wifi self:netlink_socket create_socket_perms_no_ioctl;
 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