sys/arm/xilinx/std.zynq7

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