forked from synit/synit
22 lines
576 B
Promela
22 lines
576 B
Promela
<require-service <daemon squeak>>
|
|
|
|
<daemon squeak {
|
|
argv: "exec squeak -vm-display-fbdev -msdev /dev/null -kbdev /dev/input/event2"
|
|
dir: "/home/user"
|
|
protocol: application/syndicate
|
|
}>
|
|
|
|
? <service-object <daemon squeak> ?cap> [
|
|
$cap {
|
|
config: $config
|
|
}
|
|
]
|
|
|
|
; <depends-on <daemon squeak> <default-route ipv4>>
|
|
|
|
<depends-on <daemon squeak> <service-state <daemon fbdev-setup> complete>>
|
|
<daemon fbdev-setup <one-shot "echo 1 > /sys/class/graphics/fb0/state">>
|
|
|
|
<depends-on <daemon squeak> <service-state <daemon eg25manager> up>>
|
|
<daemon eg25manager "eg25manager">
|