[memory issue] i see a issue when i build demo with linux_x86 mode.

[Josef Söntgen]

Hi Paul,

On 18/01/13 14:47, Paul Dufresne wrote:

 > I find this value quite big on my 1 Gb computer while make run/sdl on 
Linux 64b:
 > spawn ./core
 > int main(): --- create local services ---
 > int main(): --- start init ---
 > int main(): transferred 17592186044415 MB to init
 > int main(): --- init created, waiting for exit condition ---
[…]

platfrom()->ram_alloc()->avail() currently returns ~0 on base-linux,
which is used to calculate the init_quota. At first sight it actually
should match the size of _core_mem[].

Josef