If you did all of that correctly, then it should now be booting your USB drive in the way that you specified.Translation(s): English - Deutsch - Italiano - Русский Of course, this will vary from distro to distro.

Check the output of the ls command (in GRUB), to see a list of USB devices/partitions. Linux /path/to/kernel PARAMETERS MAYBE_MORE_PARAMETERS GRUB works similarly here are some example GRUB commands: set root='usb0' Now, look at the ISOLINUX menuentry it’ll look like this: kernel /path/to/kernel append PARAMETERS initrd=/path/to/initrd. Devuan versions based on Debian 8.x may also have the same issue. This is important, if you want 64-bit booting on your system. NOTE: Debian 8.6 ISO only lists 32-bit boot options in txt.cfg. Just keep searching through the image, until you find the correct ISOLINUX configuration file. For dual-architecture ISO images (i686 and x86_64), there may be separate files directories for each architecture. For example, if the file found were foo.cfg, you would use this command: cat (usb0)/isolinux/foo.cg`Īnd so on, until you find the correct menuentries for ISOLINUX.įor Debian-based distros (e.g., Ubuntu, Devuan), there are typically menuentries listed in /isolinux/txt.cfg or /isolinux/gtk.cfg.

Here’s an example: cat (usb0)/isolinux/isolinux.cfgĮither the output of this command will be the ISOLINUX menuentries for that ISO, or link to other. Get the device name from the above output (e.g., usb0). If the ISOLINUX parser or Search for GRUB configuration options won’t work, then press C in GRUB to access the command line, then run the ls command: ls You must adapt them appropriately, for whatever Linux distribution it is that you are trying to install. They may or may not be correct for your distribution.

Debian usb install