Me: "help, mouse does not work on my ps3 devkit"
Other: "do you have a keyboard plugged in?"
Other: "tried with another mouse"
Other: "is your kit flashed with the latest update?"
Me: "all version correct"
Other: "do you have the second keyboard plugged in?"
P.S. even with the second keyboard it did not work, I had to reboot randomly swapping usb ports, now it works but the GPU debugger seems to crash. It's not funny. In the end, I gave up and debugged the shader blindly, by just iterating edit-compile-run cycles a few times.