[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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.


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.