Grub

Boot from USB through grub menu

December 1, 2020