RPi won't boot 10.2-BETA1

[Carl Johnson]

Ian Lepore <ian at freebsd.org> writes:

>> > Does anybody see what I am missing here?  Thanks for any suggestions.
>> 
> There is, by design, no kernel image file visible to u-boot, because the
> kernel lives in the ufs filesystem, and u-boot doesn't read ufs.  What
> you should see in the FAT partition is u-boot and ubldr (and on an RPi
> some firmware files).  U-boot loads ubldr, and ubldr loads the kernel
> and the fdt data from the freebsd filesystem.

Thanks, but those files appear to be there.  This is what I have:

# ls -l /mnt
total 3680
-rwxr-xr-x 1 root root   17840 Jul 10 12:41 BOOTCODE.BIN*
-rwxr-xr-x 1 root root     102 Jul 10 12:41 CONFIG.TXT*
-rwxr-xr-x 1 root root    6122 Jul 10 12:41 FIXUP.DAT*
-rwxr-xr-x 1 root root    2335 Jul 10 12:41 FIXUP_CD.DAT*
-r-xr-xr-x 1 root root    9017 Jul 10 12:55 RPI.DTB*
-rwxr-xr-x 1 root root 2619352 Jul 10 12:41 START.ELF*
-rwxr-xr-x 1 root root  536216 Jul 10 12:41 START_CD.ELF*
-rwxr-xr-x 1 root root  303152 Jul 10 12:41 U-BOOT.IMG*
-r-xr-xr-x 1 root root  252090 Jul 10 12:55 UBLDR*

I also had the same problem with snapshots 10.1-STABLE from 20150617 and
11.0-CURRENT from 20150618.  I had tested 10.1-STABLE from 20150111 and
that booted properly.  I also tried typing something in at the 'U-Boot>'
prompt this time, but there was no response or echo.  I assume that
might be due to it looking at serial instead of the keyboard.

-- 
Carl Johnson		carlj at peak.org