L4Re - L4 Runtime Environment

l4f → l4 Relation

File in arm/l4fIncludes file in l4
l4 / sys / ipc.hsys / compiler.h