Front-end for PS3 debuggers