Re: [PATCH v4 14/14] xen/arm64: smpboot: Directly switch to the runtime page-tables

To: Luca Fancellu <Luca.Fancellu@xxxxxxx>
From: Julien Grall <julien@xxxxxxx>
Date: Fri, 27 Jan 2023 19:39:41 +0000
Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Julien Grall <jgrall@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>
Delivery-date: Fri, 27 Jan 2023 19:40:01 +0000
List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 16/01/2023 09:06, Luca Fancellu wrote:


Hi Julien,


Hi Luca,


I’ve left the boards to test all night, so on Monday I will be 100% sure this 
serie
Is not introducing any issue.


The serie passed the overnight tests on neoverse board, raspberry pi 4, Juno 
board.


Thanks for testing!

Cheers,

--
Julien Grall

References:
- [PATCH v4 00/14] xen/arm: Don't switch TTBR while the MMU is on
  - From: Julien Grall
- [PATCH v4 14/14] xen/arm64: smpboot: Directly switch to the runtime page-tables
  - From: Julien Grall
- Re: [PATCH v4 14/14] xen/arm64: smpboot: Directly switch to the runtime page-tables
  - From: Luca Fancellu
- Re: [PATCH v4 14/14] xen/arm64: smpboot: Directly switch to the runtime page-tables
  - From: Luca Fancellu

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