/sys-kernel/

• ../
• ps3-kernel-bin
• ps3-sources