Hi, This a small respin of two patches that Thomas Petazzoni sent to the list a while back, adding a gdbinit file and updating the manual. I think these could still go in for 2014.05. Best regards, Thomas