# Allow dumpstate to talk to automotive_display_service over binder.
binder_call(dumpstate, automotive_display_service_server)

# Allow dumpstate to signal processes to dump.
allow dumpstate {
  hal_vehicle_default
  hal_audiocontrol_default
  hal_ivn
  hal_remoteaccess_default
  hal_can_socketcan
  hal_occupant_awareness_default
}:process signal;

dump_hal(hal_vehicle)
dump_hal(hal_audiocontrol)
dump_hal(hal_ivn)
dump_hal(hal_remoteaccess)