Hi Thomas, on ARM (in this case a Samsung S3C2440 based platform) I get: kernel/built-in.o: In function `vprintk': /home/jb/[...]/linux-3.0/kernel/printk.c:862: undefined reference to `early_vprintk' kernel/built-in.o: In function `register_console': /home/jb/[...]linux-3.0/kernel/printk.c:1580: undefined reference to `early_console_initialized' make[1]: *** [vmlinux] Error 1 Did I forget something to enable in my kernel config? jbe -- Pengutronix e.K. | Juergen Beisert | Linux Solutions for Science and Industry | http://www.pengutronix.de/ | -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html