/examples/ stable-1.5
drwxr-xr-x [up]
drwxr-xr-x dc_rtai
drwxr-xr-x dc_user
drwxr-xr-x mini
drwxr-xr-x rtai
drwxr-xr-x rtai_rtdm
drwxr-xr-x rtai_rtdm_dc
drwxr-xr-x tty
drwxr-xr-x user
drwxr-xr-x xenomai
drwxr-xr-x xenomai_posix
-rw-r--r-- 2016-02-16 15:18 +0100 1421 Kbuild.in
-rw-r--r-- 2016-02-16 15:18 +0100 1717 Makefile.am