When I boot Linux in VirtualBox, it comes up with a bold font which seems to be the same as old DOS/IBM machines and even OS X single user mode. I'd like to know more about this font:

  1. What's it called, who created it and when?
  2. Why is it still being used after all these years?
  3. Is it embedded into the Linux core, or is it part of the VirtualBox emulation?
  4. How can I replace it with a font of my choice?

1 Answer 1


VirtualBox uses the plex86 VGAbios. From the README:

The source code contains fonts from fntcol16.zip (c) by Joseph Gil avalable at :
These fonts are public domain

So this is part of the emulation.

Looking through the output of dpkg -L virtualbox-5.0 doesn't give an clear candidate file that might contain the fonts, so maybe they are compiled in.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .