L4Re - L4 Runtime Environment

l4 → x86 Relation

File in arm/l4Includes file in x86
util / mbi_argv.hl4 / util / mbi_argv.h