It uses the GNU GRUB bootloader, which is part of Libreboot. It's configured in such a way as to provide boot options for various media types including USB, and the menu is configurable.

Reply via email to