Re: [PATCH 2/4] board: vexpress64: default to hardware device tree

On Wed, Dec 18, 2024 at 4:40 PM Harrison Mutai harrison.mutai@arm.com wrote:

When booting into the Linux kernel with semi-hosting, use the device tree provided by hardware unless one is provided in the current directory.

Signed-off-by: Harrison Mutai harrison.mutai@arm.com

This looks helpful to me! Reviewed-by: Linus Walleij linus.walleij@linaro.org

Yours, Linus Walleij