marvell/services/selinux-policy/src/dev/nodedev/framebufnodedev.cil

;; -*- mode: CIL; fill-column: 79; indent-tabs-mode: nil; -*-
;; SPDX-FileCopyrightText: © 2021 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(in .dev
    (call .framebuf.obj_type_transition_nodedev (unconfined.subj_typeattr)))

(block framebuf

       ;;
       ;; Contexts
       ;;

       (filecon
        "/dev/fb([0-9]+)?"
        char
        nodedev_file_context)

       ;;
       ;; Macros
       ;;

       (macro obj_type_transition_nodedev ((type ARG1))
              (call .tmp.fs_obj_type_transition
                    (ARG1 nodedev chr_file "fb0")))

       ;;
       ;; Policy
       ;;

       (blockinherit .dev.node.obj_template))