diff options
| author | Harrison Mutai <harrison.mutai@arm.com> | 2025-02-04 17:58:40 +0000 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2025-02-11 18:08:58 -0600 |
| commit | 581b3035a898db8d3ff95f9c5aec6f094062d4e2 (patch) | |
| tree | 7d95fc6f8341d9dbe439650b5483cf84407227e3 /tools/patman/patchstream.py | |
| parent | 1d1c54f458abfb63cace544f97f491ae04f56409 (diff) | |
board: vexpress64: default to hardware device tree
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>
Reviewed-by: Linus Walleij <linus.walleij@linaro.org>
Diffstat (limited to 'tools/patman/patchstream.py')
0 files changed, 0 insertions, 0 deletions