Uma das coisas que tentei fazer foi colocar vários ISOs de diversas distribuições de GNU/Linux numa pendrive e fazer boot directamente de uma das imagens que escolhesse. O processo levou-me várias horas, sendo que a maioria do tempo foi a experimentar tutoriais e dicas que fui encontrando na net. Escusado será dizer que nenhum deles resultou na totalidade. Só depois de ter ido ao #grub, no Freenode, e de ter recebido ajuda de alguns utilizadores do canal é que fiquei com isto a funcionar como queria e devia.