19 lines
397 B
Promela
19 lines
397 B
Promela
<require-service <daemon acpi_actor>>
|
|
|
|
<daemon acpi_actor {
|
|
argv: ["/bin/acpi_actor"]
|
|
protocol: application/syndicate
|
|
}>
|
|
|
|
? <machine-dataspace ?machine> [
|
|
|
|
? <service-object <daemon acpi_actor> ?cap> [
|
|
$cap { machine: $machine }
|
|
]
|
|
|
|
$machine ?? <acpi_event ?class ?bus ?type ?data> [
|
|
$log ! <log "-" { acpi_event: { device: $class bus-id: $bus type: $type data: $data } }>
|
|
]
|
|
|
|
]
|