AMP Connect HW to ARM1 Bare-Metal with Linux on ARM0

Here is the device-tree.dts for this Linux run.
/dts-v1/;
/ {
t#address-cells = <1>;
t#size-cells = <1>;
tcompatible = "xlnx,zynq-zc770";
tmodel = "Xilinx Zynq";
taliases {
ttethernet0 = &ps7_ethernet_0;
ttserial0 = &ps7_uart_1;
ttserial1 = &ps7_uart_0;
t} ;
tchosen {
ttbootargs = "console=ttyPS0,115200 root=/dev/ram rw ip=:::::eth0:dhcp earlyprintk maxcpus=1";
ttlinux,stdout-path = "/amba@0/serial@e0001000";
t} ;
tcpus {
tt#address-cells = <1>;
tt#cpus = <0x2>;
tt#size-cells = <0>;
ttps7_cortexa9_0: cpu@0 {
tttcompatible = "xlnx,ps7-cortexa9-1.00.a";
tttd-cache-line-size = <0x20>;
tttd-cache-size = <0x8000>;
tttdevice_type = "cpu";
ttti-cache-line-size = <0x20>;
ttti-cache-size = <0x8000>;
tttmodel = "ps7_cortexa9,1.00.a";
tttreg = <0>;
tttxlnx,cpu-1x-clk-freq-hz = <0x54c563d>;
tttxlnx,cpu-clk-freq-hz = <0x1fca057e>;
tt} ;
ttps7_cortexa9_1: cpu@1 {
tttcompatible = "xlnx,ps7-cortexa9-1.00.a";
tttd-cache-line-size = <0x20>;
tttd-cache-size = <0x8000>;
tttdevice_type = "cpu";
ttti-cache-line-size = <0x20>;
ttti-cache-size = <0x8000>;
tttmodel = "ps7_cortexa9,1.00.a";
tttreg = <1>;
tttxlnx,cpu-1x-clk-freq-hz = <0x54c563d>;
tttxlnx,cpu-clk-freq-hz = <0x1fca057e>;
tt} ;
t} ;
tpmu {
ttcompatible = "arm,cortex-a9-pmu";
ttinterrupt-parent = <&ps7_scugic_0>;
ttinterrupts = < 0 5 4 0 6 4 >;
ttreg = < 0xf8891000 0x1000 0xf8893000 0x1000 >;
t} ;
tps7_ddr_0: memory@0 {
ttdevice_type = "memory";
ttreg = < 0x0 0x0F000000 >;
t} ;
tps7_axi_interconnect_0: amba@0 {
tt#address-cells = <1>;
tt#size-cells = <1>;
ttcompatible = "xlnx,ps7-axi-interconnect-1.00.a", "simple-bus";
ttranges ;
ttirq_gen_0: irq-gen@78600000 {
tttcompatible = "xlnx,irq-gen-1.00.a";
tttreg = < 0x78600000 0x10000 >;
tttxlnx,dphase-timeout = <0x8>;
tttxlnx,family = "zynq";
tttxlnx,num-mem = <0x1>;
tttxlnx,num-reg = <0x1>;
tttxlnx,s-axi-min-size = <0x1ff>;
tttxlnx,slv-awidth = <0x20>;
tttxlnx,slv-dwidth = <0x20>;
tttxlnx,use-wstrb = <0x0>;
tt} ;
ttps7_afi_0: ps7-afi@f8008000 {
tttcompatible = "xlnx,ps7-afi-1.00.a";
tttreg = < 0xf8008000 0x1000 >;
tt} ;
ttps7_afi_1: ps7-afi@f8009000 {
tttcompatible = "xlnx,ps7-afi-1.00.a";
tttreg = < 0xf8009000 0x1000 >;
tt} ;
ttps7_afi_2: ps7-afi@f800a000 {
tttcompatible = "xlnx,ps7-afi-1.00.a";
tttreg = < 0xf800a000 0x1000 >;
tt} ;
ttps7_afi_3: ps7-afi@f800b000 {
tttcompatible = "xlnx,ps7-afi-1.00.a";
tttreg = < 0xf800b000 0x1000 >;
tt} ;
ttps7_ddrc_0: ps7-ddrc@f8006000 {
tttcompatible = "xlnx,ps7-ddrc-1.00.a", "xlnx,ps7-ddrc";
tttreg = < 0xf8006000 0x1000 >;
tttxlnx,has-ecc = <0x0>;
tt} ;
ttps7_dev_cfg_0: ps7-dev-cfg@f8007000 {
tttcompatible = "xlnx,ps7-dev-cfg-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 8 4 >;
tttreg = < 0xf8007000 0x1000 >;
tt} ;
ttps7_dma_s: ps7-dma@f8003000 {
ttt#dma-cells = <1>;
ttt#dma-channels = <8>;
ttt#dma-requests = <4>;
tttarm,primecell-periphid = <0x41330>;
tttcompatible = "xlnx,ps7-dma-1.00.a", "arm,primecell", "arm,pl330";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 13 4 0 14 4 0 15 4 0 16 4 0 17 4 0 40 4 0 41 4 0 42 4 0 43 4 >;
tttreg = < 0xf8003000 0x1000 >;
tt} ;
ttps7_ethernet_0: ps7-ethernet@e000b000 {
ttt#address-cells = <1>;
ttt#size-cells = <0>;
tttcompatible = "xlnx,ps7-ethernet-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 22 1 >;
tttlocal-mac-address = [ 00 0a 35 00 00 00 ];
tttphy-handle = <&phy0>;
tttphy-mode = "rgmii-id";
tttreg = < 0xe000b000 0x1000 >;
tttxlnx,enet-clk-freq-hz = <0x7735940>;
tttxlnx,enet-reset = <0xffffffff>;
tttxlnx,enet-slcr-1000mbps-div0 = <0x8>;
tttxlnx,enet-slcr-1000mbps-div1 = <0x1>;
tttxlnx,enet-slcr-100mbps-div0 = <0x8>;
tttxlnx,enet-slcr-100mbps-div1 = <0x5>;
tttxlnx,enet-slcr-10mbps-div0 = <0x8>;
tttxlnx,enet-slcr-10mbps-div1 = <0x32>;
tttxlnx,eth-mode = <0x1>;
tttxlnx,has-mdio = <0x1>;
tttxlnx,ptp-enet-clock = <88888893>;
tttmdio {
tttt#address-cells = <1>;
tttt#size-cells = <0>;
ttttphy0: phy@7 {
tttttcompatible = "marvell,88e1116r";
tttttdevice_type = "ethernet-phy";
tttttreg = <7>;
tttt} ;
ttt} ;
tt} ;
ttps7_gpio_0: ps7-gpio@e000a000 {
ttt#gpio-cells = <2>;
tttcompatible = "xlnx,ps7-gpio-1.00.a";
tttemio-gpio-width = <64>;
tttgpio-controller ;
tttgpio-mask-high = <0xc0000>;
tttgpio-mask-low = <0xfe81>;
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 20 4 >;
tttreg = < 0xe000a000 0x1000 >;
tt} ;
ttps7_iop_bus_config_0: ps7-iop-bus-config@e0200000 {
tttcompatible = "xlnx,ps7-iop-bus-config-1.00.a";
tttreg = < 0xe0200000 0x1000 >;
tt} ;
ttps7_pl310_0: ps7-pl310@f8f02000 {
tttarm,data-latency = < 3 2 2 >;
tttarm,tag-latency = < 2 2 2 >;
tttcache-level = < 2 >;
tttcache-unified ;
tttcompatible = "xlnx,ps7-pl310-1.00.a", "arm,pl310-cache";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 2 4 >;
tttreg = < 0xf8f02000 0x1000 >;
tt} ;
ttps7_qspi_0: ps7-qspi@e000d000 {
tttbus-num = <2>;
tttcompatible = "xlnx,ps7-qspi-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 19 4 >;
tttis-dual = <0>;
tttnum-chip-select = <1>;
tttreg = < 0xe000d000 0x1000 >;
tttspeed-hz = <200000000>;
tttxlnx,fb-clk = <0x1>;
tttxlnx,qspi-clk-freq-hz = <0xbebc200>;
tttxlnx,qspi-mode = <0x0>;
tt} ;
ttps7_qspi_linear_0: ps7-qspi-linear@fc000000 {
tttcompatible = "xlnx,ps7-qspi-linear-1.00.a";
tttreg = < 0xfc000000 0x1000000 >;
tttxlnx,qspi-clk-freq-hz = <0xe4e1c0>;
tt} ;
ttps7_ram_0: ps7-ram@0 {
tttcompatible = "xlnx,ps7-ram-1.00.a", "xlnx,ps7-ocm";
tttreg = < 0xfffc0000 0x40000 >;
tt} ;
ttps7_scugic_0: ps7-scugic@f8f01000 {
ttt#address-cells = < 2 >;
ttt#interrupt-cells = < 3 >;
ttt#size-cells = < 1 >;
tttcompatible = "xlnx,ps7-scugic-1.00.a", "arm,cortex-a9-gic", "arm,gic";
tttinterrupt-controller ;
tttlinux,phandle = < 0x1 >;
tttphandle = < 0x1 >;
tttreg = < 0xf8f01000 0x1000 0xf8f00100 0x100 >;
tt} ;
ttps7_scutimer_0: ps7-scutimer@f8f00600 {
tttcompatible = "xlnx,ps7-scutimer-1.00.a", "arm,cortex-a9-twd-timer";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 1 13 769 >;
tttreg = < 0xf8f00600 0x20 >;
tt} ;
ttps7_scuwdt_0: ps7-scuwdt@f8f00620 {
tttcompatible = "xlnx,ps7-scuwdt-1.00.a";
tttdevice_type = "watchdog";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 1 14 769 >;
tttreg = < 0xf8f00620 0xe0 >;
tt} ;
ttps7_sd_0: ps7-sdio@e0100000 {
tttclock-frequency = <50000000>;
tttcompatible = "xlnx,ps7-sdio-1.00.a", "generic-sdhci";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 24 4 >;
tttreg = < 0xe0100000 0x1000 >;
tttxlnx,has-cd = <0x1>;
tttxlnx,has-power = <0x0>;
tttxlnx,has-wp = <0x1>;
tttxlnx,sdio-clk-freq-hz = <0x2faf080>;
tt} ;
ttps7_slcr_0: ps7-slcr@f8000000 {
tttcompatible = "xlnx,ps7-slcr-1.00.a", "xlnx,zynq-slcr";
tttreg = < 0xf8000000 0x1000 >;
tttclocks {
tttt#address-cells = <1>;
tttt#size-cells = <0>;
ttttarmpll: armpll {
ttttt#clock-cells = <0>;
tttttclock-output-names = "armpll";
tttttclocks = <&ps_clk>;
tttttcompatible = "xlnx,zynq-pll";
tttttlockbit = <0>;
tttttreg = < 0x100 0x110 0x10c >;
tttt} ;
ttttddrpll: ddrpll {
ttttt#clock-cells = <0>;
tttttclock-output-names = "ddrpll";
tttttclocks = <&ps_clk>;
tttttcompatible = "xlnx,zynq-pll";
tttttlockbit = <1>;
tttttreg = < 0x104 0x114 0x10c >;
tttt} ;
ttttiopll: iopll {
ttttt#clock-cells = <0>;
tttttclock-output-names = "iopll";
tttttclocks = <&ps_clk>;
tttttcompatible = "xlnx,zynq-pll";
tttttlockbit = <2>;
tttttreg = < 0x108 0x118 0x10c >;
tttt} ;
ttttps_clk: ps_clk {
ttttt#clock-cells = <0>;
tttttclock-frequency = <33333333>;
tttttclock-output-names = "ps_clk";
tttttcompatible = "fixed-clock";
tttt} ;
ttt} ;
tt} ;
ttps7_spi_0: ps7-spi@e0006000 {
tttbus-num = <0>;
tttcompatible = "xlnx,ps7-spi-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 26 4 >;
tttnum-chip-select = <4>;
tttreg = < 0xe0006000 0x1000 >;
tttspeed-hz = <100000000>;
tttxlnx,has-ss0 = <0x1>;
tttxlnx,has-ss1 = <0x1>;
tttxlnx,has-ss2 = <0x1>;
tttxlnx,spi-clk-freq-hz = <0x5f5e100>;
tt} ;
ttps7_spi_1: ps7-spi@e0007000 {
tttbus-num = <1>;
tttcompatible = "xlnx,ps7-spi-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 49 4 >;
tttnum-chip-select = <4>;
tttreg = < 0xe0007000 0x1000 >;
tttspeed-hz = <100000000>;
tttxlnx,has-ss0 = <0x1>;
tttxlnx,has-ss1 = <0x1>;
tttxlnx,has-ss2 = <0x1>;
tttxlnx,spi-clk-freq-hz = <0x5f5e100>;
tt} ;
ttps7_ttc_0: ps7-ttc@f8001000 {
tttcompatible = "xlnx,ps7-ttc-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 10 4 0 11 4 0 12 4 >;
tttreg = < 0xf8001000 0x1000 >;
tt} ;
ttps7_uart_0: serial@e0000000 {
tttcompatible = "xlnx,ps7-uart-1.00.a", "xlnx,xuartps";
tttcurrent-speed = <115200>;
tttdevice_type = "serial";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 27 4 >;
tttport-number = <1>;
tttreg = < 0xe0000000 0x1000 >;
tttxlnx,has-modem = <0x0>;
tttxlnx,uart-clk-freq-hz = <0x2faf080>;
tt} ;
ttps7_uart_1: serial@e0001000 {
tttcompatible = "xlnx,ps7-uart-1.00.a", "xlnx,xuartps";
tttcurrent-speed = <115200>;
tttdevice_type = "serial";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 50 4 >;
tttport-number = <0>;
tttreg = < 0xe0001000 0x1000 >;
tttxlnx,has-modem = <0x0>;
tttxlnx,uart-clk-freq-hz = <0x2faf080>;
tt} ;
ttps7_usb_0: ps7-usb@e0002000 {
tttcompatible = "xlnx,ps7-usb-1.00.a";
tttdr_mode = "host";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 21 4 >;
tttphy_type = "ulpi";
tttreg = < 0xe0002000 0x1000 >;
tttxlnx,usb-reset = <0xffffffff>;
tt} ;
ttps7_xadc: ps7-xadc@f8007100 {
tttcompatible = "xlnx,ps7-xadc-1.00.a";
tttinterrupt-parent = <&ps7_scugic_0>;
tttinterrupts = < 0 7 4 >;
tttreg = < 0xf8007100 0x20 >;
tt} ;
t} ;
} ;

The XSDK libraries from ISE 14.6 appear to have solved the problem. I have successfully written to UART0 and the LEDs.