100644 blob a68cbe92141ec50d9753179a94d62c93a71acab1	Config.ext.in
100644 blob 9c63215c1915fd6993560fe6587a615f5235864c	Config.in
100644 blob faf7360e4964fdd46d9a2f45709f4b2678e50581	linux-ext-ocf-linux.mk
100644 blob 78488afd94eff092a799e6f7697e23d73ac50ea9	linux-ext-rtai.mk
100644 blob 9b6772e23874cc46d18f29ec595c510393130435	linux-ext-xenomai.mk
100644 blob c4bdf90905d6a5f6804c58eb768646f0ef774ac3	linux.mk