Building a VLC media player appliance with Workbench (featuring Sintel)