VLC で USB-HDMI

USB-HDMI キャプチャを vlc で使います。
vlc がキャプチャデバイスにも対応しているらしいと聞きました。試してみたら、v4l2 経由でできるようです。
$ vlc v4l2:///dev/vid ...
Gstreamer(4)

Gstreamer の ffmpeg プラグイン
omxh264 の代わりに ffmpeg プラグインを使って、ハードウェアエンコードしてみます。
インストール$ sudo apt-get install g ...
Gstreamer(3)

スクリーンキャプチャしてみます。
スクリーンキャプチャximagesrc を使うとスクリーンキャプチャができるようです。
$ st-launch-1.0 -v ximagesrc ! \
video/ ...