forked from synit/synit
15 lines
518 B
Promela
15 lines
518 B
Promela
<depends-on <milestone core> <service-state <milestone network> ready>>
|
|
|
|
<depends-on <milestone network> <service-state <daemon interfaces> complete>>
|
|
<core-service <daemon interfaces>>
|
|
<daemon interfaces "ifconfig lo 127.0.0.1 up">
|
|
<daemon interfaces "ifconfig eth0 up">
|
|
|
|
<depends-on <milestone network> <service-state <daemon udhcpc> ready>>
|
|
<core-service <daemon udhcpc>>
|
|
<depends-on <daemon udhcpc> <service-state <daemon interfaces> complete>>
|
|
<daemon udhcpc {
|
|
argv: "udhcpc -i eth0 -fR",
|
|
restart: always,
|
|
}>
|