thats what some minor google search has led me to, no official word to my knowledge, tho the ps3 does have a cell hypervisor of some sorts? but i do know for sure that the internal isnt formatted to fat32, unless its some modified version of it that windows wont recognize, ive also read in some places that its a modified encoded ext3 thats on the internal ps3 hdd