[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Error in GRUB manual

From: shimonl L
Subject: Error in GRUB manual
Date: Mon, 27 Jul 2020 14:12:16 +0000

I am reading the GRUB manual at
On the front page it states:

Broken links and other corrections or suggestions can be sent to <bug-grub@gnu.org>

so I am writing to you. (In the IBM world, documents came with an RCF on the last page:
Reader Comment Form, for comments, corrections, or suggestions).

16.3 The list of command-line and menu entry commands

16.3.21 linux

Command: devicetree file

Load a device tree blob (.dtb) from a filesystem, for later use by a Linux kernel. Does not perform merging with any device tree supplied by firmware, but rather replaces it completely. GNU/Linux.

As you can see, the heading for the devicetree command says "linux".

Thank you,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]