Trouble booting FreeBSD with u-boot on Zynq.

[Emb Aud]

Hello again.  I am still trying to get FreeBSD to boot on a Xilinx Zybo
board.

I've been going through the instructions here:

https://wiki.freebsd.org/FreeBSD/arm/Zedboard

My problem is that u-boot tries to read uImage and boot Linux.  My boot
messages are below.

It seems that u-boot was changed recently to eliminate the FreeBSD option.
The git commit log from Feb 4 2016 states:

    ARM: zynq: Remove ZYNQ_BOOT_FREEBSD option

    Remove CONFIG_ZYNQ_BOOT_FREEBSD configuration option and setup
    CONFIG_SYS_MMC_MAX_DEVICE 1 for all Zynq boards.

Looking at the patch, it seems like they didn't actually remove FreeBSD
support though:

http://lists.denx.de/pipermail/u-boot/2016-February/244706.html

Does anyone know what the proper way is to configure u-boot for FreeBSD now?

Thank you.


BOOT MESSAGES:

U-Boot SPL 2016.01-03962-g27e425c-dirty (Apr 11 2016 - 02:39:17)
mmc boot
Trying to boot from MMC
reading fpga.bin
spl_load_image_fat: error reading image fpga.bin, err - -1
spl: error reading image fpga.bin, err - 1
reading system.dtb
spl_load_image_fat_os: error reading image system.dtb, err - -1
reading u-boot.img
reading u-boot.img


U-Boot 2016.01-03962-g27e425c-dirty (Apr 11 2016 - 02:39:17 -0400)

Model: Zynq ZYBO Development Board
Board: Xilinx Zynq
DRAM:  ECC disabled 512 MiB
MMC:   sdhci at e0100000: 0
SF: Detected S25FL128S_64K with page size 256 Bytes, erase size 64 KiB,
total 16 MiB
*** Warning - bad CRC, using default environment

In:    serial at e0001000
Out:   serial at e0001000
Err:   serial at e0001000
Model: Zynq ZYBO Development Board
Board: Xilinx Zynq
Net:   ZYNQ GEM: e000b000, phyaddr 0, interface rgmii-id
eth0: ethernet at e000b000
Hit any key to stop autoboot:  0
Device: sdhci at e0100000
Manufacturer ID: 28
OEM: 4245
Name: SDU16
Tran Speed: 50000000
Rd Block Len: 512
SD version 3.0
High Capacity: Yes
Capacity: 14.9 GiB
Bus Width: 4-bit
Erase Group Size: 512 Bytes
reading uEnv.txt
257 bytes read in 10 ms (24.4 KiB/s)
Loaded environment from uEnv.txt
Importing environment from SD ...
Running uenvcmd ...
Booting FreeBSD from SD...
Device: sdhci at e0100000
Manufacturer ID: 28
OEM: 4245
Name: SDU16
Tran Speed: 50000000
Rd Block Len: 512
SD version 3.0
High Capacity: Yes
Capacity: 14.9 GiB
Bus Width: 4-bit
Erase Group Size: 512 Bytes
reading ubldr
266543 bytes read in 37 ms (6.9 MiB/s)
reading zynq-zybo.dtb
8774 bytes read in 18 ms (475.6 KiB/s)
Copying Linux from SD to RAM...
reading uImage
** Unable to read file uImage **
Zynq>