Instructions for running grub