Home | History | Annotate | Download | only in docs

Lines Matching full:tell

550 most operating systems don't tell GRUB how to map BIOS drives to OS
1051 The next step is to tell GRUB to boot the new kernel at next boot
2979 number to tell a BSD kernel how many BIOS drive numbers are on