sys/arm/rockchip/std.rk30xx

   1 # Rockchip rk30xx common options
   2 #$FreeBSD$
   3
   4 cpu             CPU_CORTEXA
   5 machine         arm armv6
   6 makeoption      ARM_LITTLE_ENDIAN
   7
   8 # Physical memory starts at 0x60400000.  We assume images are loaded at
   9 # 0x60400000.
  10 #
  11 #
  12 options         PHYSADDR=0x60000000
  13
  14 makeoptions     KERNPHYSADDR=0x60400000
  15 options         KERNPHYSADDR=0x60400000
  16
  17 makeoptions     KERNVIRTADDR=0xc0400000
  18 options         KERNVIRTADDR=0xc0400000
  19
  20 options         ARM_L2_PIPT
  21
  22 options         IPI_IRQ_START=0
  23 options         IPI_IRQ_END=15
  24
  25 files           "../rockchip/files.rk30xx"