The sysctl variable machdep.booted_kernel doesn't seem to exist on Xen. Should it? Is there an analog? --Steve Bellovin, http://www.bellovin.org