Set Top Boxes

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

• ADB 38xx
• Amino AminoiNet1xx -- http://www.aminocom.com

  * Amino 110
  * Amino 125
  * Amino 300

• Dlink Media Lounge -- http://www.dlink.com/products/?sec=0&pid=318
• ElanVision EV-8000S -- http://www.elanvision.com)
• i3 Mood 200 from i3 Micro Technology -- http://www.i3micro.com/
• Kreatel IP-STB 1710 -- http://www.kreatel.com

• Roku PhotoBridge, linux based box using VLC (see http://www.rokulabs.com/developers/thirdparty.php section)-- http://www.rokulabs.com
• Stino Sbox from AllWell Technologies -- http://www.gctglobal.com/
• Telsey F4/F5/F6
• VBrick --http://www.vbrick.com (US) / http://www.techex.co.uk (Europe)

  * VBrick MPEG4
  * VBrick MPEG2