Re: Bug#815312: acl2: FTBFS in kfreebsd-amd64

2016-04-15 Thread Camm Maguire
rojects/security/des-ghosh/des.lisp >> | make[2]: *** [projects/security/des-ghosh/des.cert] Error 1 > > I couldn't reproduce it locally; Christoph, please could you give back > src:acl2 for another build on kfreebsd-amd64 to see if it is sti

Re: available memory on fischer

2013-08-29 Thread Camm Maguire
Greetings, and thanks for your reply! Peter Palfrader writes: > On Mon, 26 Aug 2013, Camm Maguire wrote: > >> Greetings! I seem to be able to allocate 1Gb of memory on all porter >> machines but fischer, which will give me 500M. The machine appears to >> have more, but

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

2013-08-28 Thread Camm Maguire
should be available as .data. Is there some other reason for the limit than this? If not, is this value runtime configurable by the superuser somewhere in /proc? Take care, -- Camm Maguirec...@maguirefamily.org

Cannot brk more than 500M on kfreebsd-i386

2013-08-27 Thread Camm Maguire
cannot get more than 500M. Does the kernel hardwire the max brk according to the default layout, independently of .text address? Is this runtime configurable? Is there a workaround? Take care, -- Camm Maguirec...@maguirefamily.org

Re: SIGKILL on kbsd

2013-07-04 Thread Camm Maguire
ak to PHYS_PAGES from sysconf. Linux seems to give a brk failure when the actual allocation would fail, though my testing here is preliminary. Take care, Robert Millan writes: > 2013/6/25 Camm Maguire : >> Greetings, and thanks for your reply! This is on falla. The code >> pr

SIGKILL on kbsd

2013-06-25 Thread Camm Maguire
56000) 85515 saved_gcl RET break -1 errno 12 Cannot allocate memory 85515 saved_gcl CALL break(0x18eb000) 85515 saved_gcl RET break 0 85515 saved_gcl CALL break(0x67e7b000) 85515 saved_gcl RET break 0 -- Camm Maguirec...@maguirefamil

SIGKILL on kbsd

2013-06-24 Thread Camm Maguire
Greetings! If I can allocate memory with (s)brk, why do I get a SIGKILL when reading it on kbsd, but not on Linux? (see http://pastebin.com/c1dCDc9U) Thanks! -- Camm Maguirec...@maguirefamily.org

Cannot reproduce fasch acl2 FTBFS on asdfasdf

2012-01-23 Thread Camm Maguire
Greetings! Two failures similar to https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=kfreebsd-amd64&ver=4.3-2&stamp=1327187350 are unreproducible on asdfasdf. What to do? Take care, -- Camm Maguirec...@magui

Re: shared memory load address and gcl

2010-02-03 Thread Camm Maguire
into standard memory area after largest allowed > data segment, usually 32GB on amd64 and 512MB on i386. > > amd64:0x80060a000 > i386: 0x28051000 > > Iff you would be altering linker script anyway, please use as text > start 0x0200 on both plaforms. It should give enou

Re: shared memory load address and gcl

2010-02-02 Thread Camm Maguire
= ./yy 34359738368 34359738368 0x600a88 0x600a88 0x1600a88 echo $? 0 ldd ./yy libc.so.0.1 => /lib/libc.so.0.1 (0x000801256000) /lib/ld-kfreebsd-x86-64.so.1 => /lib64/ld-kfreebsd-x86-64.so.1 (0x01021000) Thanks again! -- Camm Maguire

shared memory load address and gcl

2010-02-02 Thread Camm Maguire
? This is the only machine I've ever used with such a gap. Thanks so much! -- Camm Maguirec...@maguirefamily.org == "The earth is but one country, and mankind it