Linux device driver for Arduino