GPIO 34-39 have no internal configurable pullup/down, you have to add a 10kohm resistor from the GPIO to 3,3V

I noticed a possible bug with the update of timers. When doing a write access to TIMG_T1UPDATE_REG(n) the counter value of the timer should be copied to the TIMG_T1LO_REG(n) register, but that seems to lag behind sometimes and an old value is read. The following arduino code reproduces the issue: #i...