802         examples/mini/Kbuild

   802         examples/mini/Kbuild

   803         examples/mini/Makefile

   803         examples/mini/Makefile

   804         examples/rtai/Kbuild

   804         examples/rtai/Kbuild

   805         examples/rtai/Makefile

   805         examples/rtai/Makefile

   806         examples/rtai_rtdm/Makefile

   806         examples/rtai_rtdm/Makefile

   807         examples/tty/Kbuild

   808         examples/tty/Kbuild

   808         examples/tty/Makefile

   809         examples/tty/Makefile

   809         examples/user/Makefile

   810         examples/user/Makefile

   810         examples/xenomai/Makefile

   811         examples/xenomai/Makefile

   811         examples/xenomai_posix/Makefile

   812         examples/xenomai_posix/Makefile