1 digraph state_automaton {
2 {node [shape = plaintext, style=invis, label=""] "__init_not_running"};
3 {node [shape = ellipse] "not_running"};
4 {node [shape = plaintext] "not_running"};
5 {node [shape = plaintext] "running"};
6 "__init_not_running" -> "not_running";
7 "not_running" [label = "not_running", color = green3];
8 "not_running" -> "not_running" [ label = "wakeup" ];
9 "not_running" -> "running" [ label = "switch_in" ];
10 "running" [label = "running"];
11 "running" -> "not_running" [ label = "switch_out" ];
12 { rank = min ;
13 "__init_not_running";
14 "not_running";
15 }
16 }
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.