Hi, thanks to the suggestion erik gave me I was able to compile the kernel: I just needed to switch from memcpy to memmove into /sys/src/libip/parseip.c and recompile libip and then recompile also /sys/src/libc
I moved the kernels to the Xen machine but all of them crashes just after the message "Started domain plan9" Am I missing something? S.