Device manager for linux

kMaxVideoDevices.