Acabei de confirmar que, ao gravar a última imagem do stretch mini.iso em um disco, ele pode ser inicializado no modo UEFI e BIOS no VirtualBox.
Eu quero fazer uma unidade USB do instalador Debian usando as imagens netinst linux e initrd. Para instalar a partir do CD, existe uma imagem chamada mini.iso que posso gravar diretamente em um CD ou gravá-lo em um USB, mas ele não funciona em sistemas UEFI porque a imagem não tem \ boot \ efi \ bootx64 .efi nele.
Como posso criar uma imagem deste tipo, preferencialmente usando apenas linux, initrd e o número mínimo de arquivos para inicializar o sistema (incluindo o programa de inicialização efi)?
Acabei de confirmar que, ao gravar a última imagem do stretch mini.iso em um disco, ele pode ser inicializado no modo UEFI e BIOS no VirtualBox.