vserver 2.0 rc7
[linux-2.6.git] / drivers / firmware / pcdp.c
index 6d5df6c..df1b721 100644 (file)
@@ -11,6 +11,7 @@
  * published by the Free Software Foundation.
  */
 
+#include <linux/config.h>
 #include <linux/acpi.h>
 #include <linux/console.h>
 #include <linux/efi.h>