|
L4Re - L4 Runtime Environment
|
create() with Cap<Irq> as argument instead. create() with Cap<Thread> as argument instead. create() with Cap<Vm> as argument instead. L4::Task::unmap(mem, L4_FP_DELETE_OBJ) or other similar means to remove a dataspace.