Cannot build RBPI2 kernel on pi

[Toby]

Hi

With a fresh checkout of head (I think 292519, but not 100% sure), I
cannot build the kernel on my raspberry pi 2. I've started out in
multiuser mode, with little else running, 1GB of /tmp and 1GB of
/var/tmp and 1.8GB swap (all on an USB stick).

make buildkernel KENRCONF=RPI2 fails with the following error:


ERROR: ctfmerge: No ctf sections found to merge
:> export_syms
awk -f /usr/src/sys/conf/kmod_syms.awk if_de.kld  export_syms | xargs
-J% objcopy % if_de.kld
ld -Bshareable -d -warn-common -o if_de.ko if_de.kld
objcopy --strip-debug if_de.ko
===> dtb/rpi (all)
Generating rpi.dtb from rpi.dts
converting rpi.dts ->
/usr/obj/usr/src/sys/RPI2/modules/usr/src/sys/modules/dtb/rpi/rpi.dtb
Unable to open file ./bcm2835.dtsi
Segmentation fault (core dumped)
*** Error code 139

Stop.
make[4]: stopped in /usr/src/sys/modules/dtb/rpi
*** Error code 1

Stop.
make[3]: stopped in /usr/src/sys/modules

*** Error code 1



Thanks for any hints,
Toby