Alexander Boettcher f294ec608e rump: tweak memory configuration ... Adjust managed dataspace (== max memory provided to rump kernel) based on 32/64 bit architecture. On 32bit is it 256M, on 64bit is 4G. Additionally limit the actual announced memory to rump by the available RAM and by the maximum size of the managed dataspace. Fixes #2709		2018-03-08 14:28:49 +01:00
..
rump	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01: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