Most recent R-PI kernel refuses to build

[Oleksandr Tymoshenko]

On 2013-07-06, at 9:51 PM, Brett Wynkoop <freebsd-arm at wynn.com> wrote:

> On Sat, 6 Jul 2013 21:11:34 -0700
> Oleksandr Tymoshenko <gonzo at bluezbox.com> wrote:
> 
>> 
>> On 2013-07-06, at 8:42 PM, Brett Wynkoop <freebsd-arm at wynn.com> wrote:
>> ideas?
>> 
>> What's the amount of memory on build machine?
>> 
> 
> Greeting-
> 
> It is a 512MB Pi with 512Mb swap and it is using less than 6M of swap.
> I have built world on the box in the past, but not since March or April.

Hi,

How old is kernel/world running  on your Raspberry Pi? Are they circa March/April 
too? If so I suggest getting more up to date version either by cross-compiling 
and making new image or by fetching one of pre-built images. I believe 
some people produce them on regular basis. For instance:

http://www.db.net/downloads/