I had been running with a USB GPS for years and recently purchased a GOOD GNSS device, so I have not had anything on this machine that accesses the pps_api until a few days ago. FYI I have a Raspberry Pi with Ubuntu where the pps_api works with raspberrypi-kernel 1:1.2010727-1 if that is of any help. I see two other kernels installed: 5.4.0-54 and 5.4.0-77. Any suggestion on which to try as it is somewhat of a PITA to do this, would rather do it just once, and will have to schedule a time, hopefully in a day or so. Also I have had no reason to do this for years and have forgotten how. As I recall, it is just hold down a key while rebooting to get to the menu to select a kernel, but don't remember which key. On Wednesday, August 4, 2021, 6:30:46 AM PDT, Kleber Sacilotto de Souza