These notes were sent to me by Eric Engler, in discussion of BinLoad. For more information, please see his website.
The logical address is composed like this: (PPAGE<<16) + 16-bit physical address (only for address in 0x..8000-0x..BFFF) (DPAGE<<16) + 16-bit physical address (only for address in 0x..7000-0x..7FFF) (on HC812A4) (EPAGE<<16) + 16-bit physical address (only for address in 0x..0400-0x..07FF) (on HC812A4) So in Memory window, at address 0x8000, you effectively see the address 0x8000 with PPAGE = $00. If you want to display the PPAGE $3C, set "Display Address" to $3C8000. The next debugger release will rather display the exact physical bank(s) data, according to the current value of PPAGE (with still a possibility to display as current debuggers).