ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-23 20:45:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,826 Commits 2 Branches 71 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Norman Feske
33446be8ac monitor/sandbox: use Callable 
Issue #5420
 2025-01-30 16:30:14 +01:00
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