Libraries for Arduino and SafeDuino boards