Getting started with ESP32 in Debian12 - a step-by-step guide