From 7777f4eb94581b880ffea48f9e75daa9085b8e45 Mon Sep 17 00:00:00 2001 From: John Turner Date: Sat, 23 Aug 2025 20:16:17 -0400 Subject: move "devpts" out of misc.cil --- src/fs/seclabelfs/devptsseclabelfs.cil | 6 ++++-- src/misc.cil | 5 ----- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/src/fs/seclabelfs/devptsseclabelfs.cil b/src/fs/seclabelfs/devptsseclabelfs.cil index 4545f1f..3d17aed 100644 --- a/src/fs/seclabelfs/devptsseclabelfs.cil +++ b/src/fs/seclabelfs/devptsseclabelfs.cil @@ -2,10 +2,12 @@ ;; SPDX-License-Identifier: Unlicense (block devpts - (fsuse trans "devpts" fs_context) (blockinherit .fs.macro_template_dirs) (blockinherit .fs.macro_template_chr_files) (blockinherit .fs.macro_template_fs) - (blockinherit .seclabelfs.base_template)) + (blockinherit .seclabelfs.base_template) + + (filecon "/dev/pts" dir ()) + (filecon "/dev/pts/.*" any ())) diff --git a/src/misc.cil b/src/misc.cil index d0e4998..03eb36e 100644 --- a/src/misc.cil +++ b/src/misc.cil @@ -3,11 +3,6 @@ (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context -(in devpts - - (filecon "/dev/pts" dir ()) - (filecon "/dev/pts/.*" any ())) - (in devtmp (allow fs self (filesystem (associate)))) -- cgit v1.2.3