100644 blob 40c468424a6a39fb3c5e5a52c835484520727355	Config.ext.in
100644 blob 30618096063f7602e87bf16c6ad292bf417bea0a	Config.in
100644 blob dcfab498319c18d432c28ca394ce23952ec6556d	linux-ext-rtai.mk
100644 blob 115d4a844f17eebe26c656dddf9d318e0008de66	linux-ext-xenomai.mk
100644 blob 33931e53fc0a44e131fcc6f4f4cc76169d2b46ad	linux.mk