GStreamer plugin for DVD playback
