3 # kernel gets loaded at 0x00900000 by the loader, but runs at virtual address
4 # 0xc0900000. 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=0x00900000
10 makeoptions KERNVIRTADDR=0xc0900000
12 options KERNPHYSADDR=0x00900000
13 options KERNVIRTADDR=0xc0900000
14 options PHYSADDR=0x00000000
15 options STARTUP_PAGETABLE_ADDR=0x00100000