BITalino firmware source code in C