1# $FreeBSD: stable/10/sys/arm/mv/armadaxp/std.armadaxp 250292 2013-05-06 13:52:49Z gber $
| 1# $FreeBSD: stable/10/sys/arm/mv/armadaxp/std.armadaxp 266046 2014-05-14 16:32:27Z ian $
|
2
| 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
| 3# kernel gets loaded at 0x00200000 by the loader, but runs at virtual address 4# 0xc0200000. 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.
| 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.
|
9makeoptions KERNPHYSADDR=0x00f00000 10makeoptions KERNVIRTADDR=0xc0f00000
| 9makeoptions KERNPHYSADDR=0x00200000 10makeoptions KERNVIRTADDR=0xc0200000
|
11
| 11
|
12options KERNPHYSADDR=0x00f00000 13options KERNVIRTADDR=0xc0f00000
| 12options KERNPHYSADDR=0x00200000 13options KERNVIRTADDR=0xc0200000
|
14options PHYSADDR=0x00000000 15options STARTUP_PAGETABLE_ADDR=0x00100000 16 17options ARM_L2_PIPT
| 14options PHYSADDR=0x00000000 15options STARTUP_PAGETABLE_ADDR=0x00100000 16 17options ARM_L2_PIPT
|