@@ -25,3 +25,4 @@ CONFIG_HVC_DRIVER=y
CONFIG_HVC_IRQ=y
CONFIG_HVC_CONSOLE=y
CONFIG_HVC_UDBG=y
+CONFIG_PRINTK=y