100644 blob 70f3e32d7f69e806ca0f468539b580f84599e163	Config.ext.in
100644 blob 49c4b5cacb27e0a27bdf2e2e3b55109c8e4ae12a	Config.in
100644 blob dcfab498319c18d432c28ca394ce23952ec6556d	linux-ext-rtai.mk
100644 blob 115d4a844f17eebe26c656dddf9d318e0008de66	linux-ext-xenomai.mk
100644 blob 578d535c3c1053a83f6ad249a9b5d647bac0892e	linux.mk