vga: extension=vgahw display_library: x, options="gui_debug"