Hello,

I have a problem with the raspberry pi encoder as documented in https://bugzilla.gnome.org/show_bug.cgi?id=711297

Is this in OpenMAX?