linuxのブート時やdmesgに時間を出すには
カーネルが3.3.8だとすれば
カーネルを再構築する時のmenuconfigで
Kernel hacking -> [*] Show timing information on printks
を有効にしたカーネルを使うだけでこんなのが
% dmesg|tail -n 5 eth0: no IPv6 routers present pci 0000:00:02.0: setting latency timer to 64 [drm] Supports vblank timestamp caching Rev 1 (10.10.2010). [drm] No driver support for vblank timestamp query. [drm] Initialized vboxvideo 1.0.0 20090303 for 0000:00:02.0 on minor 0
こうなります
% dmesg|tail -n 5 [ 35.074696] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready [ 45.763108] eth0: no IPv6 routers present [ 67.986139] [drm] Supports vblank timestamp caching Rev 1 (10.10.2010). [ 67.990041] [drm] No driver support for vblank timestamp query. [ 67.990041] [drm] Initialized vboxvideo 1.0.0 20090303 for 0000:00:02.0 on minor 0
ちなみにこの時間はシステムが起動してからの行われた時間(秒)だと思います