Raspberry Pi Pico, MicroPython. Read Hall sensor and generate PPM signal for Electronic Speed Controller (ESC)