I found a perfectly working ZedBoard configuration here (bottom of the page): http://digilentinc.com/Products/Detail.cfm?NavPath=2,400,1028&Prod=ZEDBOARD
With that configuration I'm able to generate bitstream, exporting to XPS and I can write C programs (Linux and Bare Metal). I added a custom peripheral following Zynq Geek's useful tutorial and now I want to add this component to a new device tree. I'm trying to do this because I think it's necessary when a custom peripheral has to send an interrupt request to the PS (I'm working on this). When I try to generate a new device-tree, following http://xilinx.wikidot.com/device-tree-generator, I get this error:
ERROR:EDK - device-tree () - can't read "vdma_device_id": no such variable
ERROR:EDK:3416 - Error(s) while running TCL procedure generate().
make: *** [ps7_cortexa9_0/lib/libxil.a] Error 2
make: Target `all' not remade because of errors.
How can I solve this problem? Where can I set "vdma_device_id" variable such that it contains a valid value?
Thanks for your answers,