From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stefan Bauer <stefan.bauer@cubewerk.de>
Subject: Re: ]iommu.c:775: iommu_page_fault: iommu->reg
	=	ffff828bfff57000
Date: Tue, 28 Oct 2008 18:49:13 +0100
Message-ID: <49075099.60607@cubewerk.de>
References: <4906E4BE.7040102@cubewerk.de>
	<80769D7B14936844A23C0C43D9FBCF0F21182262@orsmsx501.amr.corp.intel.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
In-Reply-To: <80769D7B14936844A23C0C43D9FBCF0F21182262@orsmsx501.amr.corp.intel.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

Sankaran, Rajesh schrieb:
> The first step of course would be to make sure you have the latest bios for this platform.

It's the latest bios version from the vendor page.

Version: 	2RKT54A
Release Date: 	2008/09/12

Any other ideas?

Regards

-- 
stefan