mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
f2153f9b2f
By default, the sandbox uses the Env::pd() as reference PD session of the sandbox children. However, to accomodate use cases where the interplay of the reference PD session and the child's address space needs to be intercepted, this patch adds a constructor that takes an interface for the controlled access of PD intrinsics as argument. Issue #4917 |
||
|---|---|---|
| .. | ||
| import | ||
| mk | ||
| symbols | ||