See http://www.nongnu.org/vgabios/
and especially their file vgafonts.h :

1/*
2 * These fonts come from ftp://ftp.simtel.net/pub/simtelnet/msdos/screen/fntcol16.zip
3 * The package is (c) by Joseph Gil
4 * The individual fonts are public domain
5 */ 

Okay, thank you very much for this information:

I figured out:

vgafonts.h contains three long "file" arrays of files found in the fntcol16.zip archive:

vgafont8[] == VGA-ROM.F08
vgafont14[] == VGA-ROM.F14
vgafont16[] == VGA-ROM.F16

These files are 1-bit bitmaps of characters, .F08 files having 8 bytes per character (8x8 pixel dimension), .F16 files having 16 bytes per character (8x16 pixel dimension). All characters sorted in (extended?) ASCII format.

Well, unfortunately my research still does not answer WHERE the true source of VGA-ROM.x stems from (maybe an old IBM PC?). But I guess, as bitmapped fonts cannot be copyrighted (as the documentation found in fntcol16.zip says), they are just copied from manufacturer to manufacturer nowadays.

All characters sorted in (extended?) ASCII format.

Well it's plain ascii, that is the decimal value 10 would be stored as
0x0a (hexadecimal) in the array.

Maybe those files were ripped from some graphics cards, best thing
you could try is contacting the packager of those files.

I've always wanted a TTF of this font 🙁

Use FontForge to create one. I've done so with the C64's font, it's not too much work once you get used to FontForge.

Hello all,

I am also looking for a ttf or something that can be installed in Windows XP of this very font. Does anyone have any idea how I can do it? Or better yet, if anyone has already done it, can you link it?

It looks very good for a monospaced programming font. 😀

Regards,

I don't know if it is a TrueType Font or not, but I like Lucida Console for my programming.

Try http://www.uwe-sieber.de/dosfon_e.html. Note that, when this guy mentions "the DOS-Box", he's not referring to DOSBox, but to the Windows command prompt 😀