Lines Matching full:tell
550 most operating systems don't tell GRUB how to map BIOS drives to OS1051 The next step is to tell GRUB to boot the new kernel at next boot2979 number to tell a BSD kernel how many BIOS drive numbers are on