[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. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxx http://lists.xen.org/xen-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |