A GPIO Manager for the pcDiuno