Michael Hanselmann wrote: > >> I suggest trying the same, as well as a bios upgrade. >> > > Unfortunately, the BIOS doesn't allow me to configure anything like that > and it's already the latest version released by HP. However, EFER.SVME > isn't set before enabling it (checked using "rdmsrl(MSR_EFER, efer); > printk(KERN_CRIT "DBG %d\n", efer & MSR_EFER_SVME_MASK);"). Since I'm > completly out of ideas, is there anything more I could do? >
Maybe the AMD folk have a clue? -- Do not meddle in the internals of kernels, for they are subtle and quick to panic. ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ kvm-devel mailing list kvm-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/kvm-devel