/targets/Rtai/ cherry-pick
drwxr-xr-x [up]
-rwxr-xr-x 2009-08-12 15:21 +0200 316 XSD
-rwxr-xr-x 2009-08-12 15:21 +0200 25 __init__.py
-rwxr-xr-x 2009-08-12 15:21 +0200 92 target_rtai.py