So Yellow Dog Linux 6.0 is installing on my PS3 right now. I was wondering how i install VLC Media Player? On their website it only lists the options for other linux distributions, can i just use one of those? If i can't install VLC Media player, what can i use to watch movies i have got on my PS3? (.AVI, HD formats).