* Federico Briata <[email protected]> [2009-04-05 11:27]:
> By following those links
> http://article.gmane.org/gmane.linux.ports.arm.kernel/45598
> http://wiki.debian.org/DebianInstaller/Arm/OtherPlatforms
> and I tried to compile a new linux kernel for Marvell DB-88F5181-DDR1
What devices are you trying this on, what is DB-88F5181-DDR1 and which
system did you compile for?
Anyway, I suspect the problem is that you're not setting the right
machine ID.
You can find out what's going on by setting CONFIG_DEBUG_LL=y and
applying the following patch (thanks to Lennert Buytenhek):
--- a/kernel/printk.c
+++ b/kernel/printk.c
@@ -1,3 +1,5 @@
+extern void printascii(char *);
+
/*
* linux/kernel/printk.c
*
@@ -686,6 +688,7 @@ asmlinkage int vprintk(const char *fmt, va_list args)
printed_len += vscnprintf(printk_buf + printed_len,
sizeof(printk_buf) - printed_len, fmt, args);
+ printascii(printk_buf);
/*
* Copy the output into log_buf. If the caller didn't provide
--
Martin Michlmayr
http://www.cyrius.com/
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
