Wandboard Dual and Crochet-FreeBSD

[Scott Ellis]

Wandboard-Quad crochet builds are working fine using the default
config in freebsd-crochet/board/Wandboard using CURRENT r273961 
for the source.

I tried creating a new freebsd-crochet/board/Wandboard-Dual config 
directory with the following changes

scott at fbsd:~/crochet-freebsd/board % diff -r Wandboard Wandboard-Dual

diff -r Wandboard/files/boot.txt Wandboard-Dual/files/boot.txt
1c1
< setenv fdt_file wandboard-quad.dtb;fatload mmc 0:1 88000000 ubldr;bootelf 88000000;
---
> setenv fdt_file wandboard-dual.dtb;fatload mmc 0:1 88000000 ubldr;bootelf 88000000;

diff -r Wandboard/setup.sh Wandboard-Dual/setup.sh
33c33
<     strategy_add $PHASE_BUILD_OTHER uboot_configure $WANDBOARD_UBOOT_SRC wandboard_quad_config
---
>     strategy_add $PHASE_BUILD_OTHER uboot_configure $WANDBOARD_UBOOT_SRC wandboard_dl_config
66,67c66,67
<     freebsd_install_fdt wandboard-quad.dts wandboard-quad.dts
<     freebsd_install_fdt wandboard-quad.dts wandboard-quad.dtb
---
>     freebsd_install_fdt wandboard-dual.dts wandboard-dual.dts
>     freebsd_install_fdt wandboard-dual.dts wandboard-dual.dtb
76,77c76,77
<     freebsd_install_fdt wandboard-quad.dts boot/kernel/wandboard-quad.dts
<     freebsd_install_fdt wandboard-quad.dts boot/kernel/wandboard-quad.dtb
---
>     freebsd_install_fdt wandboard-dual.dts boot/kernel/wandboard-dual.dts
>     freebsd_install_fdt wandboard-dual.dts boot/kernel/wandboard-dual.dtb


When I try to boot the resulting image on a Wandboard-Dual it hangs here


U-Boot 2014.07 (Nov 02 2014 - 13:03:34)

CPU:   Freescale i.MX6DL rev1.1 at 792 MHz
Reset cause: POR
Board: Wandboard
I2C:   ready
DRAM:  1 GiB
WARNING: Caches not enabled
MMC:   FSL_SDHC: 0, FSL_SDHC: 1
*** Warning - bad CRC, using default environment

No panel detected: default to HDMI
Display: HDMI (1024x768)
In:    serial
Out:   serial
Err:   serial
Net:   FEC [PRIME]
Hit any key to stop autoboot:  0
switch to partitions #0, OK
mmc0 is current device
reading boot.scr
157 bytes read in 10 ms (14.6 KiB/s)
Running bootscript from mmc ...
## Executing script at 12000000
reading ubldr
251107 bytes read in 27 ms (8.9 MiB/s)
(hang)


A Wandboard-Quad boot looks like this


U-Boot 2014.07 (Nov 01 2014 - 16:31:42)

CPU:   Freescale i.MX6Q rev1.2 at 792 MHz
Reset cause: WDOG
Board: Wandboard
I2C:   ready
DRAM:  2 GiB
WARNING: Caches not enabled
MMC:   FSL_SDHC: 0, FSL_SDHC: 1
*** Warning - bad CRC, using default environment

No panel detected: default to HDMI
Display: HDMI (1024x768)
In:    serial
Out:   serial
Err:   serial
Net:   FEC [PRIME]
Hit any key to stop autoboot:  0
switch to partitions #0, OK
mmc0 is current device
reading boot.scr
157 bytes read in 10 ms (14.6 KiB/s)
Running bootscript from mmc ...
## Executing script at 12000000
reading ubldr
251107 bytes read in 27 ms (8.9 MiB/s)
## Starting application at 0x88000054 ...
Consoles: U-Boot console
Compatible U-Boot API signature found @8f5854a8

FreeBSD/armv6 U-Boot loader, Revision 1.2
(root at fbsd, Sun Nov  2 06:29:08 EST 2014)

... kernel boots


So it looks to me like u-boot built okay, but maybe ubldr did not.

What is the correct way to setup crochet-freebsd to build for a 
Wandboard-Dual or Solo?