if (video_format == 0x0800) {
// No video signal. These green pseudo-frames seem to come at about 30.13 Hz.
// It's a strange thing, but what can you do.
- // FIXME: find the dimensions.
*width = 720;
- *height = 576;
+ *height = 525;
*frame_rate_nom = 3013;
*frame_rate_den = 100;
return true;