On Mon, 22 Aug 2016 20:50:49 +0200
Johannes Thoma [off-list ref] wrote:

Did you also disable CONFIG_PRINTK ? Without that kernel will not print 
anything, as far as I know.

hmm,

i tried with following:

CONFIG_PRINTK=y
CONFIG_EARLY_PRINTK=y

both adding through KCONFIG_ALLCONFIG and `make menuconfig`. still no kernel messages :/

FWIW, heres the `diffconfig` of adding above with `make menuconfig` over allnoconfig:

 EARLY_PRINTK n -> y
 PRINTK n -> y
+BOOT_PRINTK_DELAY n
+LOG_BUF_SHIFT 17
+NMI_LOG_BUF_SHIFT 13
+PRINTK_NMI y
+PRINTK_TIME n

i assume something is still missing (from the 289 changes that CONFIG_EMBEDDED=n does over allnoconfig).

Cheers
Andre Schmidt