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