Ubuntu
grub2 package

  1. Bug #2037537
  2. Comment #4

Comment 4 for bug 2037537

Revision history for this message
Julian Andres Klode (juliank) wrote :

Hi Isaac,

it seems to me that either the platform requires a device tree or not. If you place one next to it, it seems reasonable to alert the user (if present) that the machine may not function correctly when booting securely.

If the platform does not require the device tree after all, then it would be preferable not to ship it.