Hi, thanks for the input.
I made a few discoveries. Firstly, the interlace implementation in the svgalib ATI driver is indeed broken, and produces two "half" displays with missing pixels.
I am not entirely sure how to persuade AdvanceMAME to use the framebuffer, and in any case I've not yet heard of anybody managing to get the framebuffer to output a 15khz signal (I may be out of the loop, though!).
It *is* possible to get an interlaced display from the ArcadeVGA in XFree86, by using the modelines to be found here:
http://asuaf.org/~dboyer/avga_w_linux/I have therefore been experimenting with xmame, although I am finding it hard to persuade it not to use hardware stretch. Also, it appears from my experience that in almost every respect (features, speed, stability, vsync) compared to AdvanceMAME, xmame, er, sucks.
Using xmame.SDL as suggested at the above link fails because it can't find any 16-bit screen modes - which again seems odd because I'm fairly sure all my screen modes are configured as 16-bit in my XF86Config. I need to investigate this further...
It's somewhat frustrating because it's clear that the ArcadeVGA *can* output an interlaced signal in Linux - it's just that every way of getting there seems to be blocked by some broken driver or compatibility problem I've not figured out yet!