vga_gettextfont(3vga) on Linux

The text dfc0eafe23ae, as Debian 3.0 (Woody), Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it. The page shows this text now.

get/set the font used in text mode