Peter Humphrey <[email protected]> wrote: >> > properly; now all I need to do is make grub use the plain old 80x25 > > Thanks, but I'm using a manually written grub.cfg
Then it is completely trivial: Just do *not* insert code
which sets graphics like insmod {vga,vbe,gfxterm},
loadfont unicode, terminal_output gfxterm, etc.
