Lines Matching full:frontend
3564 is just a frontend of the grub shell (*note Invoking the grub shell::).
