GPIO interrupt speed

You need to edit the makefile to use the toolchain in leaf package to compile

You also need to see this: