> I have received a private mail from [EMAIL PROTECTED]: > > [...] 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::.
