100644 blob 70f3e32d7f69e806ca0f468539b580f84599e163	Config.ext.in
100644 blob 7864f6518ce57d197af3a63dc0c9b3e8b7d58919	Config.in
100644 blob dcfab498319c18d432c28ca394ce23952ec6556d	linux-ext-rtai.mk
100644 blob 115d4a844f17eebe26c656dddf9d318e0008de66	linux-ext-xenomai.mk
100644 blob 025fd51aba9fc3b0d58e0fac593f17d451aed7e6	linux.mk