Steven M. Bellovin wrote: > The sysctl variable machdep.booted_kernel doesn't seem to exist on > Xen. Should it? Is there an analog? > This is a Xen bug. It throws away the first argument from the kernel parameters which is the kernel nsmr, because Linux doesn't need it. *sigh* Christoph