W55RP20-EVB-PICO Redis example A simple MicroPython example implementing Redis client for the W55RP20-EVB-Pico board