diff options
| author | Leah Rowe <leah@libreboot.org> | 2021-10-31 17:14:41 +0000 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2021-10-31 17:14:41 +0000 |
| commit | 7c998b45385393f12cf27e54dcbcb810f7bf450a (patch) | |
| tree | 4b87226a6de818780c6ce259f761863d8d34cdc0 /resources/coreboot/x200_8mb/config | |
| parent | 62fa042a17846f1619f257f878b928364d96b3a8 (diff) | |
grub.cfg: search usb *last*, in the main menuentry
There is already a separate menuentry for USB, and most people don't boot their
installed system from USB anyway. This will result in faster boot speeds.
Diffstat (limited to 'resources/coreboot/x200_8mb/config')
0 files changed, 0 insertions, 0 deletions