added raspberry pi support.
in process of building and testing an image with xenomai for RPi.