From mboxrd@z Thu Jan  1 00:00:00 1970
From: Christoffer Dall <christoffer.dall@linaro.org>
Subject: Re: [RFC v2] ARM VM System Specification
Date: Wed, 2 Jul 2014 03:13:10 -0700
Message-ID: <20140702101310.GC20104@cbox>
References: <20140328184517.GA27219@cbox>
 <20140611065412.GA24286@lvm>
 <53981043.3010300@redhat.com>
 <9801429.iblEns5zC3@wuerfel>
 <53B18E03.4050902@jonmasters.org>
 <20140630204647.GA19743@cbox>
 <CAFEAcA9KJpvKUDgk_ziT9LmOMmFEHVRdTz=OdVt1pm2GEf5JoQ@mail.gmail.com>
 <alpine.DEB.2.02.1407011800510.8923@kaball.uk.xensource.com>
 <CAFEAcA9v_xY36iYpCXOt5JTNE4ehiQh7k3LtkyF+=d50LMm=GA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>,
	Jon Masters <jonathan@jonmasters.org>,
	Arnd Bergmann <arnd@arndb.de>,
	arm-mail-list <linux-arm-kernel@lists.infradead.org>,
	Paolo Bonzini <pbonzini@redhat.com>,
	Ian Campbell <ian.campbell@citrix.com>,
	kvm-devel <kvm@vger.kernel.org>,
	Michael Casadevall <Michael.casadevall@linaro.org>,
	"marc.zyngier@arm.com" <marc.zyngier@arm.com>,
	Rob Herring <rob.herring@linaro.org>,
	"cross-distro@lists.linaro.org" <cross-distro@lists.linaro.org>,
	"xen-devel@lists.xen.org" <xen-devel@lists.xen.org>,
	Stefano Stabellini <stefano.stabellini@citrix.com>,
	Christopher Covington <cov@codeaurora.org>,
	Grant Likely <grant.likely@linaro.org>,
	"kvmarm@lists.cs.columbia.edu" <kvmarm@lists.cs.columbia.edu>
To: Peter Maydell <peter.maydell@linaro.org>
Return-path: <kvm-owner@vger.kernel.org>
Received: from mail-la0-f41.google.com ([209.85.215.41]:53128 "EHLO
	mail-la0-f41.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1751563AbaGBKNG (ORCPT <rfc822;kvm@vger.kernel.org>);
	Wed, 2 Jul 2014 06:13:06 -0400
Received: by mail-la0-f41.google.com with SMTP id hz20so6913071lab.0
        for <kvm@vger.kernel.org>; Wed, 02 Jul 2014 03:13:04 -0700 (PDT)
Content-Disposition: inline
In-Reply-To: <CAFEAcA9v_xY36iYpCXOt5JTNE4ehiQh7k3LtkyF+=d50LMm=GA@mail.gmail.com>
Sender: kvm-owner@vger.kernel.org
List-ID: <kvm.vger.kernel.org>

On Tue, Jul 01, 2014 at 06:10:19PM +0100, Peter Maydell wrote:
> On 1 July 2014 18:03, Stefano Stabellini
> <stefano.stabellini@eu.citrix.com> wrote:
> > On Mon, 30 Jun 2014, Peter Maydell wrote:
> >> How about:
> >> =====
> >> Guest OSes in the VM image should rely on the UEFI RTC API for
> >> real time clock services. (To provide that API, the VM system will
> >> likely need to implement some real time clock device, but the
> >> details of these are a private implementation issue between it
> >> and its associated UEFI implementation.)
> >
> > I don't see why we need to add the text within brackets: it is out of
> > scope for this document.
> 
> The intention is to be an informative note, not normative text
> (I'm happy if we want to format the text to make that clearer,
> with some sort of NOTE: markup). I'd like VM implementors
> reading this spec to make the correct decisions even if they
> don't happen to know inside-out the details of the UEFI
> specification and what exactly UEFI demands of the hardware,
> and I think it's worth adding the occasional clarifying sentence
> even if it doesn't strictly speaking add any extra rules to the
> specification.
> 
That's also the approach we've taken so far elsewhere in the document,
so I think it's useful.

-Christoffer