L4Re - L4 Runtime Environment

cxx → sys Relation

File in l4/cxxIncludes file in l4/sys
exceptionscapability
exceptionserr.h
ipc_helperutcb.h
ipc_servercapability
ipc_servererr.h
ipc_servertypeinfo_svr
ipc_streamcapability
ipc_streamipc.h
ipc_streamcxx / ipc_types
l4iostreamcapability
l4iostreamtypes.h
l4types.htypes.h
slab_allocconsts.h
threadcapability
threadtypes.h