L4Re - L4 Runtime Environment

vbus → re Relation

File in l4/vbusIncludes file in l4/re
vbusdataspace
vbusdma_space