Re: [Xen-devel] [PATCH v2 16/17] libxc/xc_dom_arm: Copy ACPI tables to guest space

[Julien Grall <julien.grall@xxxxxxx>]

Hello,

On 13/07/16 18:08, Boris Ostrovsky wrote:
> On 07/13/2016 11:22 AM, Julien Grall wrote:
> > On 12/07/2016 17:58, Boris Ostrovsky wrote:
> > > The config file specifies resources provided by the host. How the guest
> > > views those resources is not important, I think.
> > This would need to be clarified. For instance special pages (Xenstore,
> > Console...) are RAM from the host point of view but not taken into
> > account in the "maxmem" provided by the user. For my understanding,
> > some kB of the slack is used for that.
>
> Are these pages part of guest's address space?
Yes, they are used to communicate between the guest and the backend 
(xenconsole, xenstore,...).
Regards,

--
Julien Grall

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