L4Re - L4 Runtime Environment

vcpu → sys Relation

File in l4/vcpuIncludes file in l4/sys
vcpu.hipc.h
vcpu.hutcb.h