2 # std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS.
9 files "../xilinx/files.zynq7"
11 # Physical memory starts at 0x00000000. We assume images are loaded at
12 # 0x00100000, e.g. from u-boot with 'fatload mmc 0 0x100000 kernel.bin'
15 options PHYSADDR=0x00000000
16 options KERNPHYSADDR=0x00100000
17 makeoptions KERNPHYSADDR=0x00100000
18 options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
19 makeoptions KERNVIRTADDR=0xc0100000
21 options STARTUP_PAGETABLE_ADDR=0x000f0000