Jeremy Fitzhardinge wrote:
[...]
I stand corrected. I meant to say CONFIG_PARAVIRT, not CONFIG_PARAVIRT_GUEST:
# diff -U0 config.working config.bad
--- config.working 2008-09-16 22:09:14.844324435 +0400
+++ .config.bad 2008-09-16 22:10:04.914320258 +0400
@@ -4 +4 @@
-# Tue Sep 16 21:47:31 2008
+# Tue Sep 16 22:10:04 2008
@@ -181 +181 @@
-# CONFIG_PARAVIRT is not set
+CONFIG_PARAVIRT=y
/mjt
--