[Armadillo:02699] armadillo500起動時の時刻表示について

[Katsuyuki Matsunaga]

初めまして、松永と申します。

Armadillo500を購入しアプリケーションの開発をしております。
起動時刻の表示方法について質問させてください。


起動時間を計測しようと思い、menuconfigで以下の設定を行いました。

Kernel hacking  --->
 [*] Show timing information on printks

イメージを作成し起動すると、時刻らしきものは表示されるのですが
正しい時刻となっていないようです。

〜起動時の出力の一部〜
[   53.960000] Linux version 2.6.18-at3 (email@hidden) (gcc version 4.1.2 2006118
[   52.960000] CPU: Some Random V6 Processor [4107b364] revision 4(ARMv6TEJ), f
[   52.960000] Machine: Armadillo-500
[   52.960000] ATAG_INITRD is deprecated; please update your bootloader.
[   52.960000] Memory policy: ECC disabled, Data cache writeback
[   52.960000] CPU0: D VIPT write-back cache
[   52.960000] CPU0: I cache: 16384 bytes, associativity 4, 32 byte lines, 128 s
[   52.960000] CPU0: D cache: 16384 bytes, associativity 4, 32 byte lines,128 s
[   52.960000] Built 1 zonelists.  Total pages: 16384
[   53.960000] Kernel command line: console=ttymxc0
[   54.960000] MXC IRQ initialized
[   52.960000] PID hash table entries: 512 (order: 9, 2048 bytes)
〜〜〜〜〜〜〜〜〜〜〜

保守モードで起動し、「setenv time」でも時刻表示については同じでした。

正しく時刻を表示するには他に設定が必要でしょうか?

よろしくお願い致します。

+++++++++++++++++++++++++++++++++++++++++++++++++++
 富士通ソフトウェアテクノロジーズ
       特定技術グループ   組込みプロジェクト 
             松永 克幸
             tel: 052-937-3628 (7677-3519)
             fax: 052-937-3747
             e-mail: email@hidden
+++++++++++++++++++++++++++++++++++++++++++++++++++