sys/arm/mv/armadaxp/std.armadaxp

   1 # $FreeBSD$
   2
   3 # kernel gets loaded at 0x00f00000 by the loader, but runs at virtual address
   4 # 0xc0f00000.  RAM starts at 0.  We put the pagetable at a reasonable place
   5 # in memory, but may need to bounce it higher if there's a problem with this.
   6 # We could paper over this by loading the kernel at 0xc0000000 virtual, but
   7 # that leads to other complications, so we'll just reclaim the lower region of
   8 # ram after we're loaded.  Put the page tables for startup at 1MB.
   9 makeoptions     KERNPHYSADDR=0x00f00000
  10 makeoptions     KERNVIRTADDR=0xc0f00000
  11
  12 options         KERNPHYSADDR=0x00f00000
  13 options         KERNVIRTADDR=0xc0f00000
  14 options         PHYSADDR=0x00000000
  15 options         STARTUP_PAGETABLE_ADDR=0x00100000
  16
  17 options         ARM_L2_PIPT