# b/260522436
dontaudit hal_bootctl_default devinfo_block_device:blk_file { open };
dontaudit hal_bootctl_default devinfo_block_device:blk_file { read };
# b/264489609
userdebug_or_eng(`
  permissive hal_bootctl_default;
')