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.