Hardware Reference
In-Depth Information
Problem
Your C code using
libsoc
isn't responding fast enough to the input signal. You want to
read the GPIO registers directly.