Set Top Boxes

Can someone confirm what Hardware boxes ( decoders ) work with VLC ? And also where to get them ?

• (Amino) AminoiNet1xx -- http://www.vsicam.com

  * Amino 103
  * Amino 110
  * Amino 124
  * Amino 500

• (Vbrick) VB-4/5/6000
• Stino Sbox from AllWell Technologies -- http://www.gctglobal.com/
• Dlink Media Lounge -- http://www.dlink.com/products/?sec=0&pid=318
• i3 Mood 200 from i3 Micro Technology -- http://www.i3micro.com/
• Roku PhotoBridge, linux based box using VLC (see http://www.rokulabs.com/developers/thirdparty.php section)-- http://www.rokulabs.com
• Kreatel IP-STB 1710 -- http://www.kreatel.com
• Telsey F4/F5/F6
• ADB 38xx