it works!
I just want to say this works now. I can finally record how I play on this thing, which just refused to work before. I installed the newest firmware and tried it again. But since April (we have December now) a lot of things changed since then. If the above posting is a bit confusing, here is a brief explanation. I just have to switch a single HDMI output to be able to record.
The PVR Rocket is a portable device to record from any HDMI source up to 1080p30 or 720p60 to a usb drive. I usually use my RetroPie system with my old crt pc monitor at 640x480p. It is connected with a HDMI to VGA converter and all boot and emulator settings are optimized for that. The recordings are saved at 640x480p at 60 fps.
Recording: The HDMI output from Raspberry Pi is connected to the input at PVR Rocket. Then the PVR Rocket have also an 0 delay pass through HDMI output, which is connected to my final monitor. A single button press starts the recording and a second press stops it whenever I want.
Playing without recording: The HDMI output from Raspberry Pi is connected to a VGA splitter. That VGA output is connected to my final crt pc monitor. To get sound, the VGA splitter will output 3,5mm audio jack.
mysetup.jpg