Re: Cannot brk more than 500M on kfreebsd-i386

2013-08-27 Thread Petr Salinger
Does the kernel hardwire the max brk according to the default layout, independently of .text address? Is this runtime configurable? Is there a workaround? I think that it is due to ulimit setting. Look at "data seg size" in "ulimit -a -H". Petr -- To UNSUBSCRIBE, email to debian-bsd-requ...

Cannot brk more than 500M on kfreebsd-i386

2013-08-27 Thread Camm Maguire
Greetings! GCL needs about 1Gb of contiguous brk memory for ACL2 to prove all its theorems. By default, .data starts at 0xe52000, and brk will succeed up to 0x202e5000, roughly where shared libs are loaded. If I use a linker script to start .text and .data above the shared lib region, I still ca