100644 blob 40c468424a6a39fb3c5e5a52c835484520727355	Config.ext.in
100644 blob bf30426e159b471634ab14912ec4fabb394f7454	Config.in
100644 blob bf998d5fdd8b02c0765b7525026601fc750f54c4	linux-ext-rtai.mk
100644 blob 84d2c17f6925d6e6476db25ba146a6a645fa6401	linux-ext-xenomai.mk
100644 blob 8256641677ccaadb88422aa7f7dfb61305d9b065	linux.mk