CONFIG_BLK_DEV_RAM=y
CONFIG_BLK_DEV_RAM_COUNT=8
CONFIG_BLK_DEV_RAM_SIZE=8192

yielding a limit of 64 M.

You are suggesting to get the patched kernel and build it?

http://tinycorelinux.net/6.x/x86/release/src/kernel/linux-3.16.6-patched.txz

> Subject: Re: Genode/NOVA+Multiple VMMs Seoul / VBox
> To: genode-main@...107...ts.sourceforge.net
> From: alexander.boettcher@...1...
> Date: Thu, 10 Sep 2015 23:17:19 +0200
>
> Hi,
>
> On 10.09.2015 21:55, Roger Ferreira wrote:
> > Initially it was as big as 256 M, which then I reduced close to 100 M.
> >
> > But only when I got close to 46 M, like tc-browser.tc, it worked.
> >
> Did you try to set ramdisk_size on the linux command line ? The default
> size according to "scripts/extract-ikconfig bzImage-3.1" is:
>
> CONFIG_BLK_DEV_RAM=y
> CONFIG_BLK_DEV_RAM_COUNT=1
> CONFIG_BLK_DEV_RAM_SIZE=131072
>
> Maybe the 128M are to small for your setup ?
>
> Alex.
>
>
> ------------------------------------------------------------------------------
> Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
> Get real-time metrics from all of your servers, apps and tools
> in one place.
> SourceForge users - Click here to start your Free Trial of Datadog now!
> http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
> _______________________________________________
> genode-main mailing list
> genode-main@...107...ts.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main