Hi, IOhannes, could you ppost again the name of the Linux debugging tool? I'd like to give it another try to pix_record which I'm struggling again and again with... ++ O.