From bfd5cc5708770127750c8b07ed5035206b842c6f Mon Sep 17 00:00:00 2001
From: Dominick Grift <dominick.grift@defensec.nl>
Date: Wed, 18 Dec 2024 13:07:36 +0100
Subject: clean up dev.unconfined 2

---
 src/dev/nodedev/memnodedev.cil | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/dev/nodedev/memnodedev.cil')

diff --git a/src/dev/nodedev/memnodedev.cil b/src/dev/nodedev/memnodedev.cil
index dad7a1c..a0d91c7 100644
--- a/src/dev/nodedev/memnodedev.cil
+++ b/src/dev/nodedev/memnodedev.cil
@@ -44,10 +44,6 @@
 
     (neverallow not_typeattr mem.nodedev (chr_file (append write)))))
 
-(in dev.unconfined
-
-    (call .mem.readwrite.type (typeattr)))
-
 (in nodedev.unconfined
 
     (call .mem.readwrite.type (typeattr)))
-- 
cgit v1.2.3