A more generic way of passing caps to user-space drivers.
[barrelfish] / trace_definitions /
2013-03-19 Kornilios KourtisNew tracing infrastructure