HDMI design for Vivado 2015.2 or .4?

Hello,

The HDMI for the Mini-ITX is based on the Analog Devices ADV7511. The Analog Devices ADV7511 Reference Design latest revision for the ZedBoard is based on Vivado 2015.2:

https://wiki.analog.com/resources/fpga/xilinx/kc705/adv7511

-Gary

I tried to use it, however, I am getting kernel panic when I am trying to boot this design with petalinux.

Is there any device tree that can work with this design for Mini-ITX?

Here is what I am getting before kernel panic:

dma-pl330 f8003000.dmac: Loaded driver for PL330 DMAC-241330
dma-pl330 f8003000.dmac:        DBUFF-128x8bytes Num_Chans-8 Num_Peri-4 Num_Events-16
Unhandled fault: imprecise external abort (0x406) at 0x00000000
pgd = c0004000
[00000000] *pgd=00000000
Internal error: : 406 [#1] PREEMPT SMP ARM
Modules linked in:
CPU: 1 PID: 1 Comm: swapper/0 Tainted: G        W       4.4.0 #2
Hardware name: Xilinx Zynq Platform
task: ef0299c0 ti: ef04c000 task.ti: ef04c000
PC is at xilinx_vdma_chan_reset+0x20/0x14c
LR is at xilinx_vdma_probe+0x35c/0x494
pc : [<c01e2dac>]    lr : [<c01e33f0>]    psr: 60000013
sp : ef04de30  ip : 00000000  fp : 00000000
r10: ef086620  r9 : ef7f2dc0  r8 : ef120610
r7 : ef7f303c  r6 : 00000000  r5 : ef086510  r4 : ef086510
r3 : f0860000  r2 : 00000000  r1 : c01e2cbc  r0 : ef086510
Flags: nZCv  IRQs on  FIQs on  Mode SVC_32  ISA ARM  Segment none
Control: 18c5387d  Table: 0000404a  DAC: 00000051
Process swapper/0 (pid: 1, stack limit = 0xef04c210)
Stack: (0xef04de30 to 0xef04e000)
de20:                                     ef086510 c01e2cbc ef08654c ef086610
de40: ef086510 00000000 ef7f303c c01e33f0 c05d09dc ef086510 00000003 00000040
de60: c0d94200 ffffffed ef120610 c0d67408 c0d67408 00000000 c0d94200 c06a183c
de80: 00000000 c023d2c8 ef120610 00000000 c0daf6fc c023bb1c ef120610 ef120644
dea0: c0d67408 c0d6c1d8 c0d5c760 c023bd08 00000000 c0d67408 c023bca0 c023a354
dec0: ef09cf5c ef11d9b4 c0d67408 00000000 ef19d700 c023b2e8 c05d0a95 c05d0a96
dee0: 00000000 c0d67408 c068b3dc 00000000 c0d5c760 c023c4ec c023d20c ef385780
df00: c068b3dc c00097c0 ef098b80 c046a6b8 c0da0d00 00000000 00000000 c0114120
df20: c05b2fbf ef098e00 000000a3 efffc256 c064c0f4 c0039548 c064b438 00000006
df40: 00000006 c064c108 000000a3 c064c108 c0d5f6fc 00000006 c06a1830 00000006
df60: c06a1834 000000a4 c06acf98 c0d94200 c0d94200 c0677d8c 00000006 00000006
df80: 00000000 c067758c 00000000 c0460918 00000000 00000000 00000000 00000000
dfa0: 00000000 c0460920 00000000 c000ee78 00000000 00000000 00000000 00000000
dfc0: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
dfe0: 00000000 00000000 00000000 00000000 00000013 00000000 2f529168 60ed0539
[<c01e2dac>] (xilinx_vdma_chan_reset) from [<c01e33f0>] (xilinx_vdma_probe+0x35c/0x494)
[<c01e33f0>] (xilinx_vdma_probe) from [<c023d2c8>] (platform_drv_probe+0x50/0xa0)
[<c023d2c8>] (platform_drv_probe) from [<c023bb1c>] (driver_probe_device+0x110/0x294)
[<c023bb1c>] (driver_probe_device) from [<c023bd08>] (__driver_attach+0x68/0x8c)
[<c023bd08>] (__driver_attach) from [<c023a354>] (bus_for_each_dev+0x6c/0x90)
[<c023a354>] (bus_for_each_dev) from [<c023b2e8>] (bus_add_driver+0xc8/0x1e4)
[<c023b2e8>] (bus_add_driver) from [<c023c4ec>] (driver_register+0x9c/0xe0)
[<c023c4ec>] (driver_register) from [<c00097c0>] (do_one_initcall+0x100/0x1b4)
[<c00097c0>] (do_one_initcall) from [<c0677d8c>] (kernel_init_freeable+0x11c/0x1e4)
[<c0677d8c>] (kernel_init_freeable) from [<c0460920>] (kernel_init+0x8/0xe4)
[<c0460920>] (kernel_init) from [<c000ee78>] (ret_from_fork+0x14/0x3c)
Code: e5933000 e0833002 e5936000 f57ff04f (e5903000)
---[ end trace 749b011bfb054e84 ]---
Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b

CPU0: stopping
CPU: 0 PID: 0 Comm: swapper/0 Tainted: G      D W       4.4.0 #2
Hardware name: Xilinx Zynq Platform
[<c001586c>] (unwind_backtrace) from [<c00125a0>] (show_stack+0x10/0x14)
[<c00125a0>] (show_stack) from [<c01a28ec>] (dump_stack+0x80/0xcc)
[<c01a28ec>] (dump_stack) from [<c00140cc>] (ipi_cpu_stop+0x3c/0x6c)
[<c00140cc>] (ipi_cpu_stop) from [<c00147e4>] (handle_IPI+0x64/0x84)
[<c00147e4>] (handle_IPI) from [<c00093e8>] (gic_handle_irq+0x74/0x90)
[<c00093e8>] (gic_handle_irq) from [<c0012fd4>] (__irq_svc+0x54/0x90)
Exception stack(0xc0d59f60 to 0xc0d59fa8)
9f60: 00000001 00000000 00000000 c001d3a0 00000000 c0d58000 00000000 c0d59fb8
9f80: c04677a0 efffc200 00000000 00000000 00000000 c0d59fb0 c000f880 c000f884
9fa0: 60000113 ffffffff
[<c0012fd4>] (__irq_svc) from [<c000f884>] (arch_cpu_idle+0x2c/0x38)
[<c000f884>] (arch_cpu_idle) from [<c0050b00>] (cpu_startup_entry+0x134/0x210)
[<c0050b00>] (cpu_startup_entry) from [<c0677c04>] (start_kernel+0x350/0x3bc)
[<c0677c04>] (start_kernel) from [<0000807c>] (0x807c)
---[ end Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b

Or it gets stack at hub 1-1:1.0: 4 ports detected message:

dma-pl330 f8003000.dmac: Loaded driver for PL330 DMAC-241330
dma-pl330 f8003000.dmac:        DBUFF-128x8bytes Num_Chans-8 Num_Peri-4 Num_Events-16
xilinx-vdma 43000000.dma: Xilinx AXI VDMA Engine Driver Probed!!
e0001000.serial: ttyPS0 at MMIO 0xe0001000 (irq = 143, base_baud = 3125000) is a xuartps
uFFFDconsole [ttyPS0] enabled
console [ttyPS0] enabled
bootconsole [earlycon0] disabled
bootconsole [earlycon0] disabled
xdevcfg f8007000.devcfg: ioremap 0xf8007000 to f085e000
[drm] Initialized drm 1.1.0 20060810
brd: module loaded
loop: module loaded
libphy: XEMACPS mii bus: probed
xemacps e000b000.eth: pdev->id -1, baseaddr 0xe000b000, irq 147
ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
usbcore: registered new interface driver usb-storage
usbcore: registered new interface driver usbserial
usbcore: registered new interface driver usbserial_generic
usbserial: USB Serial support registered for generic
usbcore: registered new interface driver ftdi_sio
usbserial: USB Serial support registered for FTDI USB Serial Device
e0002000.usb supply vbus not found, using dummy regulator
ULPI transceiver vendor/product ID 0x0424/0x0007
Found SMSC USB3320 ULPI transceiver.
ULPI integrity check: passed.
ci_hdrc ci_hdrc.0: EHCI Host Controller
ci_hdrc ci_hdrc.0: new USB bus registered, assigned bus number 1
ci_hdrc ci_hdrc.0: USB 2.0 started, EHCI 1.00
hub 1-0:1.0: USB hub found
hub 1-0:1.0: 1 port detected
mousedev: PS/2 mouse device common for all mice
i2c /dev entries driver
cdns-i2c e0004000.i2c: 400 kHz mmio e0004000 irq 141
usb 1-1: new high-speed USB device number 2 using ci_hdrc
hub 1-1:1.0: USB hub found
hub 1-1:1.0: 4 ports detected