[coreboot] v3 help with PCI_DOMAIN resources

ron minnich rminnich at gmail.com
Mon Oct 13 20:51:38 CEST 2008


Myles, use this patch. Then send me output.

ron
Index: lib/console.c
===================================================================
--- lib/console.c	(revision 920)
+++ lib/console.c	(working copy)
@@ -136,8 +136,14 @@
 		return 0;
 	}

+	console_tx_byte('<', (void *)0);
+	console_tx_byte(msg_level + '0', (void *)0);
+	console_tx_byte('>', (void *)0);
+
+	i = 3;
+
 	va_start(args, fmt);
-	i = vtxprintf(console_tx_byte, (void *)0, fmt, args);
+	i += vtxprintf(console_tx_byte, (void *)0, fmt, args);
 	va_end(args);

 	return i;




More information about the coreboot mailing list