http://zedboard.org/sites/default/files/blogger_importer/08/zedboard-bring-up.html

https://github.com/zynqgeek/zed_helloworld
http://zedboard.org/content/zedboard-sdk-helloworld-example

For EDK 2016.2

https://reference.digilentinc.com/learn/programmable-logic/tutorials/zedboard-programming-guide/start

Xilinx Wiki

http://www.wiki.xilinx.com/MPSoC+Power+Management

AMP bare metal Vivado
http://www.wiki.xilinx.com/XAPP1079+Latest+Information


GIC - Sup's Wiki
http://ssup2.iptime.org/wiki/ARM_Generic_Interrupt_Controller_(GIC)


MIO - multiplexed I/O (MIO)
EMIO - extended multiplexed I/O interface (EMIO)
EPP - Extensible Processing Platform (EPP)


divide by zero
http://blog.kmckk.com/archives/4170081.html
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dai0133c/index.html


Artix-7 as PL of Zynq-7020
http://www.xilinx.com/products/silicon-devices/soc/zynq-7000.html

Good linker script

http://hertaville.com/a-sample-linker-script.html


Cortex-A9 Active, but no Pending interrupt
https://community.arm.com/thread/8117
https://community.nxp.com/thread/314843

Source code of GIC interrupts

https://reviews.freebsd.org/file/data/mhsub6nzfe6qhdiwypgb/PHID-FILE-3inesgv5msw2u6deaswa/file

Xilinx API

https://forums.xilinx.com/xlnx/attachments/xlnx/zaps/471/1/api2.pdf


LXR - Marvell 88

http://lxr.free-electrons.com/source/drivers/net/phy/marvell.c#L614
https://lxr.missinglinkelectronics.com/uboot/drivers/net/phy/marvell.c#L283

Zynq FSBL
Software Developers Guide
https://www.xilinx.com/support/documentation/user_guides/ug821-zynq-7000-swdev.pdf