> I thought I read they were using Xen? What's the relationship between > kexec and Xen?
Kexec is a system call which linux uses to load and execute another kernel. Kexec has to be work differently under xen, because it's loading into xen virtual memory not physical memory; but this is supported by current linux kernels. Plan 9 would also need some changes to be able to be loaded by kexec (under xen or otherwise); I forget the details.