RE: Tracing with Genode on OKL4