Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/arch/ia32/src/ia32.c	(revision db4ce845185d0afbdb84c938b2e579a7b5fb8bf2)
@@ -112,5 +112,5 @@
 		/* hard clock */
 		i8254_init();
-
+		
 #ifdef CONFIG_FB
 		if (vesa_present()) 
@@ -118,5 +118,9 @@
 		else
 #endif
-			ega_init(EGA_BASE, EGA_VIDEORAM);	/* video */
+#ifdef CONFIG_EGA
+			ega_init(EGA_BASE, EGA_VIDEORAM);  /* video */
+#else
+			{}
+#endif
 		
 		/* Enable debugger */