Norman Feske
f2153f9b2f
sandbox: allow for customized PD access
...
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
2023-06-16 11:24:26 +02:00
..
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2021-12-17 15:04:45 +01:00
2022-08-10 13:32:57 +02:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2023-03-13 14:32:52 +01:00
2023-05-30 12:03:29 +02:00
2022-02-15 10:11:10 +01:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2023-04-17 14:48:23 +02:00
2021-12-17 15:04:45 +01:00
2023-05-30 12:03:29 +02:00
2022-11-17 08:00:36 +01:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2017-03-24 16:19:56 +01:00
2023-02-27 08:22:46 +01:00
2023-05-30 12:03:29 +02:00
2017-02-28 12:59:29 +01:00
2023-05-30 12:03:29 +02:00
2019-01-30 13:49:54 +01:00
2023-04-26 11:58:14 +02:00
2022-05-25 12:19:31 +02:00
2023-05-30 12:03:29 +02:00
2022-02-15 10:23:58 +01:00
2023-06-16 11:24:25 +02:00
2022-02-15 10:10:03 +01:00
2022-02-15 10:10:03 +01:00
2022-10-12 12:09:37 +02:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:32 +02:00
2019-01-07 12:25:45 +01:00
2023-02-27 08:22:49 +01:00
2022-08-10 13:32:57 +02:00
2023-05-30 12:03:29 +02:00
2023-05-30 12:03:29 +02:00
2023-06-16 11:24:26 +02:00
2021-12-17 15:04:45 +01:00
2022-11-17 08:00:35 +01:00
2021-12-17 15:04:45 +01:00
2023-05-30 12:03:29 +02:00
2023-04-17 14:48:30 +02:00
2023-03-13 14:32:37 +01:00
2023-05-30 12:03:29 +02:00
2022-11-17 08:00:35 +01:00
2023-05-30 12:03:29 +02:00
2023-02-27 08:22:49 +01:00
2023-05-30 12:03:26 +02:00
2023-05-30 12:03:31 +02:00