On Mon, 30 Jun 2014, Peter Maydell wrote:

On 30 June 2014 21:46, Christoffer Dall christoffer.dall@linaro.org wrote:

...

Seems like we should stick a note in there about being UEFI compatible requires an RTC. We went this far before Peter raised the issue with noone else realizing it, so it seems like a good idea to me.

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.