100644 blob 40c468424a6a39fb3c5e5a52c835484520727355	Config.ext.in
100644 blob 718afb5fce37cc4dcf41fdee13530cf86878428e	Config.in
100644 blob bf998d5fdd8b02c0765b7525026601fc750f54c4	linux-ext-rtai.mk
100644 blob 84d2c17f6925d6e6476db25ba146a6a645fa6401	linux-ext-xenomai.mk
100644 blob abd3772130b6e2691151aa9842aa0f3a44c83e5e	linux.mk