Raspberry Pi: still getting prefetch aborts

René Ladan rene at freebsd.org
Wed Jan 1 16:33:52 UTC 2014


On 12/26/2013 01:12, George Mitchell wrote:
> On 12/25/13 19:09, George Mitchell wrote:
>> FreeBSD 10.0-PRERELEASE (RPI-B) #0 r259866M: Wed Dec 25 17:26:28 EST 2013
>> (M because I selected serial output in RPI-B)
>> [...]
> 
> /etc/src.conf:
> 
> MALLOC_PRODUCTION=yes
> 
> /etc/make.conf:
> 
> WITH_PKGNG=yes
> MALLOC_PRODUCTION=yes
> WITH_NEW_XORG=yes
> 
Hmm, I have
FreeBSD 10.0-RC2 (RPI-B-RENE) #1 r259413: Sun Dec 15 13:20:27 CET 2013
(GENERIC + ums)
with pkg 1.2.4_1 built on December 16th just fine.

My image is crossbuilt on i386/amd64 with no /etc/src.conf or
/etc/make.conf using these commands:

env make __MAKE_CONF=/dev/null ARCH=arm TARGET_ARCH=armv6
TARGET_CPUTYPE=armv6 WITH_FDT=yes buildworld
env make __MAKE_CONF=/dev/null ARCH=arm TARGET_ARCH=armv6
TARGET_CPUTYPE=armv6 WITH_FDT=yes KERNCONF=RPI-B buildkernel
env make __MAKE_CONF=/dev/null ARCH=arm TARGET_ARCH=armv6
TARGET_CPUTYPE=armv6 WITH_FDT=yes KERNCONF=RPI-B DESTDIR=/media
installkernel
env make __MAKE_CONF=/dev/null ARCH=arm TARGET_ARCH=armv6
TARGET_CPUTYPE=armv6 WITH_FDT=yes DESTDIR=/media -DDB_FROM_SRC installworld

- MALLOC_PRODUCTION removed because on releng/10.0 it seems to be the
default and the build breaks otherwise.
- instructions might contains redundancy
- SD card mounted on /media

WITH_NEW_XORG worked just fine some months ago, my Pi is running
headless lately.

René



More information about the freebsd-arm mailing list