ZedBoard能起来的Linux内核

analogdevicesinc

https://github.com/analogdevicesinc/linux/tree/2016_R1

支持HDMI显示的adv7511参考设计

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

https://blog.csdn.net/luotong86/article/details/52190837

参考：

https://blog.csdn.net/luotong86/article/details/52637711

ZEDBOARD + VGA 

https://blog.csdn.net/hongbin_xu/article/details/76582103