Ports of Arduino libraries to Energia