/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-- 2016-05-04 11:17 +0200 1421 Kbuild.in
-rw-r--r-- 2016-05-04 11:17 +0200 1717 Makefile.am