GitHub repository: tianrking/pico_deskhop_switch
Description: Fast Desktop Switching Device