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

(block clock

  (filecon "/dev/hpet" char nodedev_context)
  (filecon "/dev/ptp([0-9]+)?" char nodedev_context)
  (filecon "/dev/rtc([0-9]+)?" char nodedev_context)

  (blockinherit .nodedev.template))