2 # std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS.
8 makeoptions CONF_CFLAGS="-march=armv7a -Wa,-march=armv7a"
10 files "../xilinx/files.zynq7"
12 # Physical memory starts at 0x00000000. We assume images are loaded at
13 # 0x00100000, e.g. from u-boot with 'fatload mmc 0 0x100000 kernel.bin'
16 options PHYSADDR=0x00000000
17 options KERNPHYSADDR=0x00100000
18 makeoptions KERNPHYSADDR=0x00100000
19 options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
20 makeoptions KERNVIRTADDR=0xc0100000
24 options IPI_IRQ_START=0
25 options IPI_IRQ_END=15