<map id="L4 kernel object type information" name="L4 kernel object type information">
<area shape="rect" id="Node000002" href="$group__l4__kernel__object__api.html" title="API of kernel objects." alt="" coords="5,13,121,38"/>
<area shape="rect" id="Node000001" title="Type information for L4 server objects that can be called via IPC." alt="" coords="169,5,328,45"/>
</map>
