L4Re - L4 Runtime Environment

sys → l4f Relation

File in arm/l4/sysIncludes file in arm/l4f
cache.hl4 / sys / syscall_defs.h
mem_op.hl4 / sys / syscall_defs.h