/targets/
drwxr-xr-x [up]
drwxr-xr-x Linux
drwxr-xr-x Rtai
drwxr-xr-x Win32
drwxr-xr-x Xenomai
-rwxr-xr-x 2008-08-21 17:18 +0200 330 XSD_toolchain_gcc
-rwxr-xr-x 2008-08-21 17:18 +0200 2878 __init__.py
-rw-r--r-- 2008-08-21 17:18 +0200 4227 plc_common_main.c
-rw-r--r-- 2008-08-21 17:18 +0200 3745 plc_debug.c
-rwxr-xr-x 2008-08-21 17:18 +0200 4102 toolchain_gcc.py