I've been looking at the top output and noticed that pigpio consumes significant amount of processor power. It hovers from around 4.6% to 7% but spikes at around 15%.
I'm running it on raspberry pi 3B+ with 64bit kernel. Gentoo.
Is that normal? Could someone take a peak so that I could compare? I have no 32 bit system to check it or Raspbian, I'm curious.