L4Re - L4 Runtime Environment

sys → l4 Relation

File in amd64/l4/sysIncludes file in l4
__vcpu-arch.hsys / types.h
segment.hsys / ipc.h
segment.hsys / task.h
segment.hsys / thread.h
utcb.hsys / types.h