Just for anyone interested, I made some updates to the PS3 Debian how-to: http://www.kernel.org/pub/linux/kernel/people/geoff/cell/ps3-howto/ps3-debian-install-howto.txt -Geoff