diff --git a/src/etc/inc/config.lib.inc b/src/etc/inc/config.lib.inc
index 85bfc3628..fc667d0e4 100644
--- a/src/etc/inc/config.lib.inc
+++ b/src/etc/inc/config.lib.inc
@@ -290,24 +290,6 @@ function cleanup_backups()
     }
 }
 
-
-function set_device_perms() {
-    $devices = array(
-      'pf'  => array(  'user'  => 'root',
-            'group'  => 'proxy',
-            'mode'  => 0660),
-      );
-
-    foreach ($devices as $name => $attr) {
-        $path = "/dev/$name";
-        if (file_exists($path)) {
-            chown($path, $attr['user']);
-            chgrp($path, $attr['group']);
-            chmod($path, $attr['mode']);
-        }
-    }
-}
-
 function make_config_revision_entry($desc = '')
 {
     global $config;
diff --git a/src/etc/rc.bootup b/src/etc/rc.bootup
index 66b9be9a9..536b1af34 100755
--- a/src/etc/rc.bootup
+++ b/src/etc/rc.bootup
@@ -61,7 +61,6 @@ echo "Starting device manager (devd)...";
 system_console_mute();
 exec('/sbin/devd');
 sleep(1);
-set_device_perms();
 system_console_unmute();
 echo "done.\n";