raspi: debugging