From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([140.186.70.92]:58793)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gceq-qemu-devel@m.gmane.org>) id 1QFj9H-0004hZ-1L
	for qemu-devel@nongnu.org; Fri, 29 Apr 2011 04:34:03 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <gceq-qemu-devel@m.gmane.org>) id 1QFj9G-0007M2-4p
	for qemu-devel@nongnu.org; Fri, 29 Apr 2011 04:34:03 -0400
Received: from lo.gmane.org ([80.91.229.12]:57580)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gceq-qemu-devel@m.gmane.org>) id 1QFj9F-0007Ls-VY
	for qemu-devel@nongnu.org; Fri, 29 Apr 2011 04:34:02 -0400
Received: from list by lo.gmane.org with local (Exim 4.69)
	(envelope-from <gceq-qemu-devel@m.gmane.org>) id 1QFj9C-00055r-OS
	for qemu-devel@nongnu.org; Fri, 29 Apr 2011 10:33:58 +0200
Received: from 93-34-184-88.ip51.fastwebnet.it ([93.34.184.88])
	by main.gmane.org with esmtp (Gmexim 0.1 (Debian))
	id 1AlnuQ-0007hv-00
	for <qemu-devel@nongnu.org>; Fri, 29 Apr 2011 10:33:58 +0200
Received: from pbonzini by 93-34-184-88.ip51.fastwebnet.it with local (Gmexim
	0.1 (Debian)) id 1AlnuQ-0007hv-00
	for <qemu-devel@nongnu.org>; Fri, 29 Apr 2011 10:33:58 +0200
From: Paolo Bonzini <pbonzini@redhat.com>
Date: Fri, 29 Apr 2011 10:33:46 +0200
Message-ID: <ipdt5a$cvj$1@dough.gmane.org>
References: <BANLkTim--Mr+j+WX3fPEceAfPC_Xwwaaiw@mail.gmail.com>	<4DB9C3AA.20907@codemonkey.ws>
	<BANLkTimbJF7ZcWK45BMDq0-iR6k9-XwPNA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
In-Reply-To: <BANLkTimbJF7ZcWK45BMDq0-iR6k9-XwPNA@mail.gmail.com>
Subject: Re: [Qemu-devel] QEMU testing methodology & results
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: qemu-devel@nongnu.org

On 04/29/2011 02:17 AM, Peter Maydell wrote:
> The theoretical aim there as far
> as I'm concerned is architectural correctness -- in other words we
> should be a valid implementation of the architecture,

That's not even the case for x86.  It should be a goal, however, that 
with mainstream kernels user programs shouldn't be able to see the 
difference.  There are some known issues besides bugs, for example the 
"instruction pointer of the last FP instruction" register (!) is not 
implemented.

Paolo