ac1ff2f5f8
Due to recently introduces smart-pointers to Cap_index objects it's necessary to always keep at least one reference as long as a corresponding slot in the capability-space of a process is in use. This is especially important for L4Linux that uses cap-slots directly without the given abstractions of Genode. |
||
|---|---|---|
| .. | ||
| drivers | ||
| l4android | ||
| l4linux | ||
| lib/l4lx | ||