CONFIG_PRINTK_TIME broken on git HEAD ?

From: Gabriel C
Date: Wed May 07 2008 - 18:29:37 EST


Hi all,

I've updated today to 2.6.26-rc1-00166-gc0a1811 , running an 64bit kernel at the moment.

dmesg shows here :

...


[ 0.000000] Allocating PCI resources starting at d0000000 (gap: cf600000:2f800000)
[ 0.000000] SMP: Allowing 4 CPUs, 0 hotplug CPUs
[ 0.000000] PERCPU: Allocating 42756 bytes of per cpu data
[ 0.000000] NR_CPUS: 8, nr_cpu_ids: 4
[4294014.506571] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 1010753
[4294014.506571] Kernel command line: root=/dev/sdb1 ro debug vga=0x317
[4294014.506571] Initializing CPU#0
[4294014.506571] Preemptible RCU implementation.
[4294014.506571] PID hash table entries: 4096 (order: 12, 32768 bytes)

...


Is this a known issue ?


Regards,

Gabriel

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/