>How often does the kernel actually get mapped as a section in
>practice? I ask because I did (actually I mapped all of physical
>memory to its physical address with repeated map_section) and
>pmap_extract blew up due to not handling L1 sections. Testing a fix
>now.

It happens whenever you reboot :-)

I works because the kernel is aligned to 1MB boundaries in both
virtual and physical memory.

Why not describe the VM layout that you are implementing along with
the physical memory map. I'm sure we can suggest some things to try.

Robert Swindells