1# 2# std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS. 3# 4# $FreeBSD$ 5 6cpu CPU_CORTEXA 7machine arm armv6 8 9files "../xilinx/files.zynq7" 10 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' 13# 14# 15options PHYSADDR=0x00000000 16options KERNPHYSADDR=0x00100000 17makeoptions KERNPHYSADDR=0x00100000 18options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm 19makeoptions KERNVIRTADDR=0xc0100000 20 21options ARM_L2_PIPT 22 23options IPI_IRQ_START=0 24options IPI_IRQ_END=15 25