I just cross compile the button_gpio.c example from your site with MRAA Mapped Pins according to board. Got the following error. button_gpio.c:1:10: fatal error: mraa.h: No such file or directory #include <mraa.h> ^~~~~~~~ compilation terminated.