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

[Linus Walleij]

On Wed, Dec 18, 2024 at 4:40 PM Harrison Mutai <harrison.mutai at 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 at arm.com>

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

Yours,
Linus Walleij