e to set-up the permissions
> while create the mapping.
>
> We are still playing with the fire as there are still some
> break-before-make issue in setup_pagetables (i.e switch between 2 sets of
> page-tables). But it should slightly be better than the current state.
>
> -Original Message-
> From: Julien Grall [mailto:julien.gr...@arm.com]
> Sent: 04 September 2018 20:22
> To: xen-devel@lists.xenproject.org
> Cc: sstabell...@kernel.org; andre.przyw...@arm.com; Shameerali Kolothum
> Thodi ; Julien Grall
>
> Subject: [PATCH 0/
> -Original Message-
> From: Julien Grall [mailto:julien.gr...@arm.com]
> Sent: 04 September 2018 12:22
> To: Shameerali Kolothum Thodi ;
> xen-de...@lists.xen.org
> Cc: sstabell...@kernel.org; Linuxarm ; Andre
> Przywara
> Subject: Re: Xen Dom0 boot failure o
> -Original Message-
> From: Julien Grall [mailto:julien.gr...@arm.com]
> Sent: 03 September 2018 18:14
> To: Shameerali Kolothum Thodi ;
> xen-de...@lists.xen.org
> Cc: sstabell...@kernel.org; Linuxarm ; Andre
> Przywara
> Subject: Re: Xen Dom0 boot failure o
Hi Julien,
Thanks for taking a look at this.
> -Original Message-
> From: Julien Grall [mailto:julien.gr...@arm.com]
> Sent: 03 September 2018 17:13
> To: Shameerali Kolothum Thodi ;
> xen-de...@lists.xen.org
> Cc: sstabell...@kernel.org; Linuxarm ; Andre
> Przywar
Hi,
I am trying to boot xen(stable-4.11) on one of our ARM64 boards which
has support for GICv4.
But dom0(kernel 4.18) boot fails with the below trap,
XEN) done.
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch
inp
