On 11 June 2014 12:33, Grant Likely [off-list ref] wrote:

In practical terms, yes the VM needs to provide an RTC interface, but
I don't think it needs to appear in this spec, even if the kernel
accesses it directly. Portable images should use the UEFI service.

I think it might helpful to include some implementation notes
to the effect that the VM needs to provide certain things to
the associated UEFI implementation but that these aren't
part of the specification and the guest OS is expected to
use the UEFI interfaces, just for the sake of clarity for people
who aren't too familiar with what UEFI requires or provides.

thanks
-- PMM