jmmv84@gmail.com wrote:

> Can you see any serious problem with it?   

I don't think it's a good idea to replace builtin font
implicitly in all cases. Some people might prefer
accustomed builtin one if it has the same charset.

Anyway, MD quirks should be handled in MD options, IMO.

> (If so, proposed alternatives?)

Just adding "options FONT_VT220L8x16" to config files and
setting vga_no_builtinfont = 1 in shark/consinit.c:consinit()
can handle the MD quirk on shark. That's typical usage of
the vga_no_builtinfont variable.
---
Izumi Tsutsui (who wrote vga_no_builtinfont support for arc)