L4Re - L4 Runtime Environment

l4f → x86 Relation

File in amd64/l4fIncludes file in x86
l4 / util / port_io.hl4f / l4 / util / port_io.h