Re: [coreboot] v3 help with PCI_DOMAIN resources

[ron minnich]

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;