an LCD / RGB/TTL interface is needed http://libre-riscv.org/shakti/m_class/RGBTTL/
talking to richard (formerly of asics.ws), about getting vga_lcd released under BSD license. also about checking its performance (1080p), and also conversion to AXI.
richard: $10k for upgrading from wishbone to AXI4, updating and modernising.