From mboxrd@z Thu Jan  1 00:00:00 1970
From: walmart <vmwalmart@gmail.com>
Subject: does anyone know how to let Xen print timing info in
	the printk?
Date: Sat, 7 Aug 2010 02:19:54 -0500
Message-ID: <AANLkTi=aCkqKmyCYPegoOxm_0h2mDhxB0F9XORenTsDh@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Return-path: <xen-devel-bounces@lists.xensource.com>
List-Unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

I configured Xen to a serial console. I installed it several times,
some times when it boot up, the serial console would show the timing
info for the printk(), but some complilation would not. Does anyone
know how to enable that?

thanks very much!