digraph modules {
	orientation=landscape;
	SEL4 -> API;
	API -> Syscall;
	apitypes [label=Types]; API -> apitypes;
	SEL4 -> Kernel;
	Kernel -> CSpace;
	Kernel -> FaultHandler;
	Kernel -> Init;
	Kernel -> Thread;
	SEL4 -> Machine;
	Machine -> ARM;
	Machine -> Alpha;
	Machine -> HaskellCPU;
	SEL4 -> Model;
	Model -> Fault;
	Model -> PSpace;
	Model -> StateData;
	Model -> Storable;
	modeltypes [label=Types]; Model -> modeltypes;
	SEL4 -> Object;
	Object -> Notification;
	Object -> CNode;
	Object -> Endpoint;
	Object -> Instances;
	Object -> Retype;
	Object -> Structures;
	Object -> TCB;
	objtypes [label=Types]; Object -> objtypes;
	Object -> Untyped;
}
