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

..

allocator_fap.h

rump: tweak memory configuration

2018-03-08 14:28:49 +01:00

hard_context.h

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

random.h

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00