<map id="Fiasco extensions" name="Fiasco extensions">
<area shape="rect" id="Node000001" title="Extensions of the Fiasco L4 implementation." alt="" coords="132,55,271,80"/>
<area shape="rect" id="Node000004" href="$group__fiasco__dump__api.html" title="Kernel information dumping related functionality." alt="" coords="319,5,505,31"/>
<area shape="rect" id="Node000005" href="$group__fiasco__trace__api.html" title="Kernel tracing related functionality." alt="" coords="355,55,469,80"/>
<area shape="rect" id="Node000003" href="$group__l4__debugger__api.html" title="Kernel debugger related functionality." alt="" coords="347,104,477,129"/>
<area shape="rect" id="Node000002" href="$group__l4__api.html" title="Interfaces for all kinds of base functionality." alt="" coords="5,55,84,80"/>
</map>
