vga_text_update interface facilitates defining an input
character stream for graphics consoles. The video device associated to a
graphics console can use this interface to send a stream of characters to
the console. This stream is used by the graphics console break strings. The
stream should match the displayed VGA text whenever possible.
SIM_INTERFACE(vga_text_update) {
void (*write)(conf_object_t *NOTNULL obj, char value);
};
#define VGA_TEXT_UPDATE_INTERFACE "vga_text_update"