Como faço para substituir a fonte feia "PC" na CLI de inicialização do Linux?

Question

Quando inicializo o Linux no VirtualBox, ele aparece com uma fonte em negrito que parece ser a mesma das máquinas DOS / IBM antigas e até mesmo o modo de usuário único do OS X. Gostaria de saber mais sobre essa fonte:

1. Como se chama, quem criou e quando?
2. Por que ainda está sendo usado depois de todos esses anos?
3. É incorporado ao núcleo do Linux ou é parte da emulação do VirtualBox?
4. Como posso substituí-lo por uma fonte de minha escolha?

Answer 1

O VirtualBox usa o plex86 VGAbios. A partir do README :

The source code contains fonts from fntcol16.zip (c) by Joseph Gil avalable at :
ftp://ftp.simtel.net/pub/simtelnet/msdos/screen/fntcol16.zip
These fonts are public domain

Então, isso faz parte da emulação.

Examinar a saída de dpkg -L virtualbox-5.0 não fornece um arquivo candidato claro que possa conter as fontes, então talvez elas estejam compiladas.