Richard Earnshaw rearnsha@netbsd.org commented;

> There certainly is an assumption that the pages of the kernel text and
> data have a 1:1 correspondence between the image loaded at boot and the
> pages after mapping. 

ldscript.evbarm has the following lines.  It can certainly be called as a bug.

  /* Adjust the address for the data segment to start on the next page
     boundary.  */
  . = ALIGN(0x8000);
  .data    :

- comment says wrong.
- 16KB data segment base alignment bogs down a machine when new TLB layout
  gets active.

Toru Nishimura/ALKYL Technology