Date: Mon, 13 Jul 2015 11:35:44 -0600 From: Ian Lepore <ian@freebsd.org> To: Leonardo Fogel <leonardofogel@yahoo.com.br> Cc: freebsd-arm@freebsd.org Subject: Re: RPi won't boot 10.2-BETA1 Message-ID: <1436808944.1334.206.camel@freebsd.org> In-Reply-To: <1436808326.55378.YahooMailBasic@web120802.mail.ne1.yahoo.com> References: <1436808326.55378.YahooMailBasic@web120802.mail.ne1.yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1436808944.1334.206.camel>