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