I mean the one you get from apt-get but it's pySerial actually. Maybe an other version. Anyway, I was able to communicate with the Arduino using PySerial. On the UDOO examples repository there is only examples, no library.