I've posted the initial pieces for this to hackaday.
It uses an EF9345 as a retro-appropriate video chip (apparently the
one used in the French Minitel) to provide RGBI output with separate
or combined sync pulses. That will drive an upscaler or SCART input
with a few resistors and can also trivially be used to produce mono
composite (not a good idea for 80 columns) or Svideo.
Software at the moment consists of typing hex incantations into the
ROMWBW monitor command, but that will be the next job.
The video output is really sharp as you'd expect from a digital out.
https://hackaday.io/project/189225-rc-2014-80-column-video