2006/6/4, geoff@collyer.net < geoff@collyer.net>:

> I have received a private mail from geoff@collyer.net:
> > [...] New kernels load at virtual 0xf000000, not 0x8000000.

I seem to have miscounted the number of zeroes in those addresses;
they should be 0xf0000000 and 0x80000000, respectively, per
/sys/src/9/pc/mem.h:

#define KZERO 0xF0000000 /* base of kernel address space */

Or, in IPv6 notation, the addresses would be 0xf:: and 0x8::.