genode/repos/dde_rump/include
Josef Söntgen 1d6d6966a1 rump: add knob to set memlimit
By now, rump would query its available RAM quota to determine the
memory limit minus some RAM reserved for Genode meta-data. This
does not work when the VFS rump plugin is used as the available
quota belongs to the VFS server. In this case the memlimit should
be set by specifing the RAM in the plugin's config, e.g.:

! <vfs>
!   <rump fs="ext2fs" ram="64M" writeabl="yes"/>
! </vfs>

Fixes #2783.
2018-05-03 15:31:23 +02:00
..
rump rump: add knob to set memlimit 2018-05-03 15:31:23 +02:00
rump_cgd Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
rump_fs rump_fs: add support for session (un-)mounting 2017-11-30 11:23:05 +01:00
spec Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
util rump: tweak memory configuration 2018-03-08 14:28:49 +01:00