RPi won't boot 10.2-BETA1

[Ian Lepore]

On Mon, 2015-07-13 at 10:25 -0700, Leonardo Fogel wrote:
> > Does anybody see what I am missing here?  Thanks for any suggestions.
> 
> I've got a similar error trying to boot the BBB image. As I understand it, the image itself is broken.
> On the U-Boot> prompt, you can type the command 'fatls mmc 0' to list the FAT content. You'll see there isn't any kernel image, the filenames are not in the "canonical" form, and (BB-)uEnv.txt is empty.
> 
> Just in case you don't know, these are the steps to mount the image (the FAT partition) from Linux:
> # rmmod loop
> # modprobe loop max_part=16
> # losetup /dev/loop0 <imagefile>
> # mount /dev/loop0p1 <dir>
> 

This appears to be purely linux-oriented commands and advice.

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.

-- Ian