/examples/
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-- 2014-05-31 18:12 +1200 1421 Kbuild.in
-rw-r--r-- 2014-05-31 18:12 +1200 1717 Makefile.am