I dont know about any manual. The logs are saved on the phone and you could probably send it to FP to look into it.
For the issues I had so far I had to use
Capturing ADB logs
- Choose “ADB logcat”
- Choose “logcat – V threadtime – B all”
- Press “start”.
Capturing QXDM logs
- Choose “QXDM”
- Choose “use default config file” and “1_default.cfg”
- Press “start”.
For Kernel are no selections available.