mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
0fae8fe9c3
The custom version merely differs from the generic one with respect to the session quota. Since we support the dynamic upgrading of sessions, we don't need to provide the big amount (128KiB) defined by the custom version. |
||
---|---|---|
.. | ||
doc | ||
include | ||
lib | ||
mk/spec | ||
ports | ||
run | ||
src |