Re: [Xen-devel] [PATCH RFC 13/15] libxc: arm64 vcpu initialisation

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2013-10-10 at 17:04 +0100, Julien Grall wrote:
> On 10/10/2013 04:59 PM, Ian Campbell wrote:
> >> BTW, can you use PSR_GUEST64_INIT here? So if we modified it in Xen, the
> >> behaviour will also change here.
> > 
> > It's a bit annoying, but PSR_GUEST*_INIT are no in the public interfaces
> > and libxc can't include anything else. I don't want to expose this to
> > guests incase it becomes ABI...
> 
> Until the commit bcac10f "xen: arm: support building a 64-bit dom0
> domain", PSR_GUEST*_INIT was in the public interface. I'm not sure why
> you have removed from the interface.

It's an implementation detail which the guest shouldn't rely upon.

> > Oh, maybe I can just us #if on __XEN_TOOLS__ and/or __XEN__ as
> > appropaite.
> 
> Guest doesn't need that, but tools should have the same PSR as Linux.

"the same PSR as Linux" -- did you mean Xen?

> Why boot VCPU initialization can't be done in Xen?

The domain builder is the one which knows what is going on, what the
layout is etc, it's appropriate for it to also control the initial state
of the vcpus.

Ian.



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel