L4Re - L4 Runtime Environment

libio-io → l4 Relation

File in contrib/libio-ioIncludes file in l4
l4 / io / io.hsys / types.h
l4 / io / types.hvbus / vbus_types.h