diff --git a/c/src/lib/libbsp/powerpc/ChangeLog b/c/src/lib/libbsp/powerpc/ChangeLog
index 1d32e1c5d2..c0398b2561 100644
--- a/c/src/lib/libbsp/powerpc/ChangeLog
+++ b/c/src/lib/libbsp/powerpc/ChangeLog
@@ -1,3 +1,10 @@
+2007-12-01	Till Straumann <strauman@slac.stanford.edu>
+
+	* shared/vme/vmeconfig.c: Include <libcpu/bat.h> only
+	if the BSP-specific configuration header (VMEConfig.h)
+	defines BSP_VME_BAT_IDX so that this file can be used
+	on CPUs w/o bats (e500).
+
 2007-11-30	Till Straumann <strauman@slac.stanford.edu>
 
 	* shared/startup/bspstart: removed _Cpu_table.exceptions_in_RAM.
diff --git a/c/src/lib/libbsp/powerpc/shared/vme/vmeconfig.c b/c/src/lib/libbsp/powerpc/shared/vme/vmeconfig.c
index 4c6da0471c..5553cff390 100644
--- a/c/src/lib/libbsp/powerpc/shared/vme/vmeconfig.c
+++ b/c/src/lib/libbsp/powerpc/shared/vme/vmeconfig.c
@@ -52,7 +52,9 @@
 #include <bsp.h>
 #include <bsp/VME.h>
 #include <bsp/VMEConfig.h>
+#ifdef BSP_VME_BAT_IDX
 #include <libcpu/bat.h>
+#endif
 #include <rtems/bspIo.h>
 
 extern int BSP_VMEInit();