sys/arm/at91/std.tsc4370

   1 #$FreeBSD$
   2 include "../at91/std.at91"
   3
   4 options         STARTUP_PAGETABLE_ADDR=0x20800000
   5 makeoptions     KERNPHYSADDR=0x20000000
   6 makeoptions     KERNVIRTADDR=0xc0000000
   7 options         KERNPHYSADDR=0x20000000
   8 options         KERNVIRTADDR=0xc0000000
   9
  10 device          at91_board_tsc4370