search for: p4kernel

Displaying 1 result from an estimated 1 matches for "p4kernel".

Did you mean: kernel
2006 May 24
3
Problems booting a 32bit domU kernel on a Debian sarge amd64 x86_64 dom0 host.
I installed Debian sarge amd64 on a Intel em64t processor machines and have been using the Xen 3.0 packages in backports.org. I can boot a 32 bit guest OS fine if I use the vmlinuz-2.6.16-1-xen-em64t-p4kernel, but when trying to use the stock vmlinuz-2.6.16-xen from their binary tarball, or building it from the source package I get the following error: xentest:/var/log# xm create debian0.cfg -c Using config file "/etc/xen/debian0.cfg". Error: (22, ''Invalid argument'') xen...