diff options
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/user/booting-linux.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Documentation/user/booting-linux.rst b/Documentation/user/booting-linux.rst index 4b0ead1db5..983b56deef 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 ------------ |