c414207ab0
compiled into the kernel. This allows us to boot the same kernel on machines with different master clock frequencies, so long as we can determine the main clock frequency accurately. Cleanup the pmc clock init function so it can be called in early boot so we can use the serial port just after we call cninit. # We have two calls to at91_pmc_clock_init for reasons unknown, that will # be fixed later -- it is harmless for now.
11 lines
247 B
Plaintext
11 lines
247 B
Plaintext
#$FreeBSD$
|
|
include "../at91/std.at91"
|
|
|
|
options STARTUP_PAGETABLE_ADDR=0x20000000
|
|
makeoptions KERNPHYSADDR=0x20100000
|
|
options KERNPHYSADDR=0x20100000
|
|
makeoptions KERNVIRTADDR=0xc0100000
|
|
options KERNVIRTADDR=0xc0100000
|
|
|
|
device at91_board_hl200
|