From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:48392) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SejRZ-0003C9-Us for qemu-devel@nongnu.org; Wed, 13 Jun 2012 05:00:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SejRV-0005KM-9t for qemu-devel@nongnu.org; Wed, 13 Jun 2012 05:00:49 -0400 Received: from mx1.redhat.com ([209.132.183.28]:23837) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SejRU-0005KG-TE for qemu-devel@nongnu.org; Wed, 13 Jun 2012 05:00:45 -0400 Message-ID: <4FD856B0.5090709@redhat.com> Date: Wed, 13 Jun 2012 11:00:32 +0200 From: Paolo Bonzini MIME-Version: 1.0 References: <4FD83562.4060004@redhat.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] Prop-ptr and Xilinx. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Crosthwaite Cc: Peter Maydell , Anthony Liguori , "qemu-devel@nongnu.org Developers" , "Edgar E. Iglesias" , =?ISO-8859-1?Q?Andreas_F=E4rber?= , John Williams Il 13/06/2012 10:43, Peter Crosthwaite ha scritto: >> > It's quite possible that interfaces are borked, since we have no unit >> > tests and no user. :/ > Alrighty, > > So if this is the first user, then maybe its the smoke-test case? > Preparing a test package now. Yes, having a user was in fact the reason why I chose to model AXI with interfaces. :) Thanks very much for your work! Paolo