ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 23:12:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
1044c2fcab
genode/repos/dde_rump/include
History
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