/targets/Xenomai/
drwxr-xr-x [up]
-rwxr-xr-x 2008-08-20 00:11 +0200 692 XSD
-rwxr-xr-x 2008-08-20 00:11 +0200 28 __init__.py
-rwxr-xr-x 2008-08-20 00:11 +0200 89 target_xenomai.py