src/dev/nodedev/vgaarbiternodedev.cil


1
2
3
4
5
6
7
8

;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block vgaarbiter

  (filecon "/dev/vga_arbiter" char nodedev_context)

  (blockinherit .nodedev.template))