freebsd-dev/sys/arm/xilinx/std.zynq7
Ian Lepore 06177e52c9 Add SMP support for Zedboard.
Submitted by:	Thomas Skibo <ThomasSkibo@sbcglobal.net>
2014-04-29 17:48:57 +00:00

25 lines
559 B
Plaintext

#
# std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS.
#
# $FreeBSD$
cpu CPU_CORTEXA
machine arm armv6
files "../xilinx/files.zynq7"
# Physical memory starts at 0x00000000. We assume images are loaded at
# 0x00100000, e.g. from u-boot with 'fatload mmc 0 0x100000 kernel.bin'
#
#
options PHYSADDR=0x00000000
options KERNPHYSADDR=0x00100000
makeoptions KERNPHYSADDR=0x00100000
options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
makeoptions KERNVIRTADDR=0xc0100000
options ARM_L2_PIPT
options IPI_IRQ_START=0
options IPI_IRQ_END=15