/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-- 2018-07-30 11:58 +0200 1421 Kbuild.in
-rw-r--r-- 2018-07-30 11:58 +0200 1717 Makefile.am