# Domain declaration
type pawlet_device, domain, coredomain;
type pawlet_device_exec, exec_type, file_type;

# Inherit from core domain
typeattribute pawlet_device coredomain;

# Basic file access for your domain
allow pawlet_device pawlet_device_exec:file { execute read open map };

# Binder communication
binder_use(pawlet_device)
binder_call(pawlet_device, system_server)
binder_call(pawlet_device, servicemanager)