On Wed, Dec 18, 2024 at 4:40 PM Harrison Mutai <[email protected]> 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 <[email protected]> This looks helpful to me! Reviewed-by: Linus Walleij <[email protected]> Yours, Linus Walleij

