1digraph {
2	PhysAddr -> PhysAddr [arrowhead=normal];
3	PhysAddr -> RAM [arrowhead=normal];
4	PhysAddr -> DevFrame [arrowhead=normal];
5
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];
11
12	Frame -> Frame [arrowhead=normal];
13	DevFrame -> DevFrame [arrowhead=normal];
14
15	Dispatcher -> EndPoint [arrowhead=normal];
16	Dispatcher -> Dispatcher [arrowhead=dot];
17};
18