https://diyprojectslab.com/pir-motion-sensor-with-raspberry-pi-pico/
Interfacing PIR Motion Sensor with Raspberry Pi Pico