diff --git a/init/main.c b/init/main.c
index 36f608a7cfbaf0fe1e2d3b1f37ff42e945bc100d..46508300d6b9efa3db86145d0b9537eed292585d 100644
--- a/init/main.c
+++ b/init/main.c
@@ -73,6 +73,10 @@
 #error Sorry, your GCC is too old. It builds incorrect kernels.
 #endif
 
+#if __GNUC__ == 4 && __GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ == 0
+#warning gcc-4.1.0 is known to miscompile the kernel.  A different compiler version is recommended.
+#endif
+
 static int init(void *);
 
 extern void init_IRQ(void);