/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-- 2017-03-03 13:33 +0100 1421 Kbuild.in
-rw-r--r-- 2017-03-03 13:33 +0100 1717 Makefile.am