Modified the driver to use the gpiolib and add the xenomai version I'm working with