Set Top Boxes

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

• Amino AminoiNet1xx -- http://www.aminocom.com

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

• VBrick --http://www.vbrick.com (US) / http://www.techex.co.uk (Europe)

  * VBrick MPEG4
  * VBrick MPEG2

• 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