type flipendo, domain, coredomain;

app_domain(flipendo)

# Access to Westworld logging service
allow flipendo fwk_stats_hwservice:hwservice_manager find;
binder_call(flipendo, stats_service_server)

binder_call(flipendo, gpuservice)

allow flipendo app_api_service:service_manager find;

# Allows Flipendo to change app saturation
allow flipendo color_display_service:service_manager find;

# Access to PowerHal service
hal_client_domain(flipendo, hal_power);