ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,808 Commits 2 Branches 70 Tags 87 MiB
40c8e76f49
Commit Graph

3 Commits

Author SHA1 Message Date
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
Norman Feske
89f813f113 os: add sandbox lib to api/os 2020-02-20 12:11:22 +01:00
Emery Hemingway
e2661c58dc Convert static VFS library to dynamic library 
Fix #2759
 2018-05-30 12:26:19 +02:00