Beaglebone Black HDMI support v2

[Oleksandr Tymoshenko]

> On Jan 29, 2015, at 1:08 AM, Ulrich Grey <usenet at ulrich-grey.de> wrote:
> 
> Hello,
> 
> I have patched CURRENT r277871 and tried to built an image with crochet.
> I get a compile error:
> 
> sh -c 'MACHINE=arm /usr/home/BBB/head/sys/tools/fdt/make_dtbh.sh
> beaglebone-black.dts /usr/home/gwg/00-TRANSIT/crochet-freebsd-NEU/trunk/work/obj/arm.armv6/usr/home/BBB/head/sys/BEAGLEBONE'
> awk -f /usr/home/BBB/head/sys/tools/miidevs2h.awk /usr/home/BBB/head/sys/dev/mii/miidevs
> awk
> -f /usr/home/BBB/head/sys/tools/pccarddevs2h.awk /usr/home/BBB/head/sys/dev/pccard/pccarddevs
> awk -f /usr/home/BBB/head/sys/teken/gensequences /usr/home/BBB/head/sys/teken/sequences >
> teken_state.h awk
> -f /usr/home/BBB/head/sys/tools/usbdevs2h.awk /usr/home/BBB/head/sys/dev/usb/usbdevs -h
> awk -f /usr/home/BBB/head/sys/tools/usbdevs2h.awk /usr/home/BBB/head/sys/dev/usb/usbdevs
> -d awk
> -f /usr/home/BBB/head/sys/arm/conf/genboardid.awk /usr/home/BBB/head/sys/arm/conf/mach-types
>> board_id.h awk
>> -f /usr/home/BBB/head/sys/tools/vnode_if.awk /usr/home/BBB/head/sys/kern/vnode_if.src
>> -c awk
>> -f /usr/home/BBB/head/sys/tools/makeobjops.awk /usr/home/BBB/head/sys/dev/eisa/eisa_if.m
>> -c awk
>> -f /usr/home/BBB/head/sys/tools/makeobjops.awk /usr/home/BBB/head/sys/dev/fb/fb_if.m -c
>> awk
>> -f /usr/home/BBB/head/sys/tools/makeobjops.awk /usr/home/BBB/head/sys/dev/gpio/gpio_if.m
>> -c awk
>> -f /usr/home/BBB/head/sys/tools/makeobjops.awk /usr/home/BBB/head/sys/dev/gpio/gpiobus_if.m
>> -c
> make[2]: don't know how to make /usr/home/BBB/head/sys/dev/hdmi/hdmi_if.m. Stop
> 
> make[2]: stopped
> in /usr/home/gwg/00-TRANSIT/crochet-freebsd-NEU/trunk/work/obj/arm.armv6/usr/home/BBB/head/sys/BEAGLEBONE
> *** Error code 2
> 
> Stop.
> make[1]: stopped in /usr/home/BBB/head
> *** Error code 1
> 
> Stop.
> make: stopped in /usr/home/BBB/head
> 

Do you have any extra args in board config file? 
Like FREEBSD_EXTRA_ARGS or FREEBSD_KERNEL_EXTRA_ARGS?

Could you show output of ls -la  /usr/home/BBB/head/sys/dev/hdmi/ ?

Thanks