xref: /freebsd/sys/arm/mv/armadaxp/std.armadaxp (revision a98ff317388a00b992f1bf8404dee596f9383f5e)
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.
9makeoptions	KERNPHYSADDR=0x00f00000
10makeoptions	KERNVIRTADDR=0xc0f00000
11
12options		KERNPHYSADDR=0x00f00000
13options		KERNVIRTADDR=0xc0f00000
14options		PHYSADDR=0x00000000
15options		STARTUP_PAGETABLE_ADDR=0x00100000
16
17options		ARM_L2_PIPT
18