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

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

Yours,
Linus Walleij

Reply via email to