Hi Julien,
On 28.02.2022 14:35, Julien Grall wrote:
> From: Julien Grall <jgr...@amazon.com>
>
> Since commit 54c4ae18d158 ("xen/arm32: head: Rework and document
> launch()"), the boot code is setting r12 but not read it.
>
> So remove the two instructions setting r12 and update the documentation
> to show r12 has no specific purpose.
>
> Signed-off-by: Julien Grall <jgr...@amazon.com>
>
> ---
> Changes in v2:
> - Don't set r12.
> ---
Reviewed-by: Michal Orzel <michal.or...@arm.com>
Cheers,
Michal
