Previously we saw a bit on the PlayStation 4 DevKit IDU and E3 modes, and now ZiL0G80 (aka Z80) is back accompanied by notzecoxao with some information on the PS4 development console settings. (-:
Essentially PlayStation 4 DevKit's can be intdev or extdev, intdev (QA flagged) have VSH debug...