path: root/sepolicy/vendor/hal_bootctl_default.te

allow hal_bootctl_default vendor_uefi_block_device:blk_file getattr;