diff options
Diffstat (limited to 'src/misc.cil')
| -rw-r--r-- | src/misc.cil | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/misc.cil b/src/misc.cil index 03eb36e..fc8301f 100644 --- a/src/misc.cil +++ b/src/misc.cil @@ -3,10 +3,6 @@ (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context -(in devtmp - - (allow fs self (filesystem (associate)))) - (in dos (filecon "/boot/efi" dir fs_context) |