mapping addresses

[John S. Yates, Jr.]

A week ago it looked like our kernel was heading off
into rather unexplored design space.  Since then we
have simplified things greatly.  We are now planning
a much more traditional scheme in which the kernel
executes in a single flat logical address space.

I am sure that gdb has been used to debug these sorts
of systems many times in the past.  Is there any kind
of support for logical versus physical addressing?

/john