1# 2# std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS. 3#
| 1# 2# std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS. 3#
|
4# $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266110 2014-05-15 02:41:23Z ian $
| 4# $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266379 2014-05-17 23:25:20Z ian $
|
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
| 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
|
| |