2 PhysAddr -> PhysAddr [arrowhead=normal];
3 PhysAddr -> RAM [arrowhead=normal];
4 PhysAddr -> DevFrame [arrowhead=normal];
6 RAM -> RAM [arrowhead=normal];
7 RAM -> Frame [arrowhead=normal];
8 RAM -> CNode[arrowhead=normal];
9 RAM -> VNode [arrowhead=normal];
10 RAM -> Dispatcher [arrowhead=normal];
12 Frame -> Frame [arrowhead=normal];
13 DevFrame -> DevFrame [arrowhead=normal];
15 Dispatcher -> EndPoint [arrowhead=normal];
16 Dispatcher -> Dispatcher [arrowhead=dot];