Jason Thorpe <thorpej@wasabisystems.com> writes:

> On Tuesday, May 13, 2003, at 04:03  AM, Steve Woodford wrote:
>
>> Well, the exact procedure for bootstrapping the DACR *could* be 
>> different
>> for each port, depending on what the firmware/bootloader does.
>
> In the initarm() routine, we're running on tables set up by start(), 
> which looks like it's just using domain #0, right?
>

  initarm() of smdk2800 calls pmap_map_section() before switching to
the new page table in order to use some buitln peripherals.  They are
mapped with domain #15.

  We can fix this in various ways if it matters.  What is the problem
to enable domain 15 in the early startup stage?

--
bsh.