File List

Here is a list of all documented files with brief descriptions:

/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/idl/dm_generic.idl [code]	L4 generic dataspace manager interface
/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/consts.h [code]	Generic Dataspace manager interface, common constants
/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/dm_generic.h [code]	Generic dataspace manager interface, client API
/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/dsmlib.h [code]	Dataspace Manager support library
/tmp/l4check/full_tree/trunk/l4/pkg/dm_generic/include/types.h [code]	Generic dataspace manager interface, type definitions
/tmp/l4check/full_tree/trunk/l4/pkg/dm_mem/idl/dm_mem.idl [code]	L4 memory dataspace manager interface
/tmp/l4check/full_tree/trunk/l4/pkg/dm_mem/include/dm_mem.h [code]	Memory dataspace manager client API