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