freebsd-skq/sys/arm/xilinx/std.zynq7
Wojciech A. Koszek a9caca6a75 Add Xilinx Zynq ARM/FPGA SoC support to FreeBSD/arm port.
Submitted by:	Thomas Skibo <ThomasSkibo (at) sbcglobal.net>
Reviewed by:	wkoszek, freebsd-arm@ (no objections raised)
2013-04-27 22:38:29 +00:00

24 lines
553 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 STARTUP_PAGETABLE_ADDR=0x000f0000
options ARM_L2_PIPT