<map id="Kernel Interface Page" name="Kernel Interface Page">
<area shape="rect" id="Node000002" href="$group__l4__api.html" title="Interfaces for all kinds of base functionality." alt="" coords="5,13,84,38"/>
<area shape="rect" id="Node000001" title="Kernel Interface Page." alt="" coords="132,13,292,38"/>
<area shape="rect" id="Node000003" href="$group__l4__kip__memdesc__api.html" title="C Interface for KIP memory descriptors." alt="" coords="340,5,492,45"/>
</map>
