The devicetree-overlay key is part of the official Boot Loader Specification. There is no need to document it in Barebox, again. Signed-off-by: Michael Tretter <m.tretter@xxxxxxxxxxxxxx> --- Documentation/user/booting-linux.rst | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Documentation/user/booting-linux.rst b/Documentation/user/booting-linux.rst index 4b0ead1db5a5..983b56deefb6 100644 --- a/Documentation/user/booting-linux.rst +++ b/Documentation/user/booting-linux.rst @@ -232,10 +232,6 @@ device where the entry is found on. This makes it possible to use the same rootf image on different devices without having to specify a different root= option each time. -Additionally to the options defined in the original spec, Barebox has the -``devicetree-overlay`` option. This is a string value that refer to overlays -that will be applied to the device tree before passing it to Linux. - Network boot ------------ -- 2.20.1 _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox