100644 blob a68cbe92141ec50d9753179a94d62c93a71acab1	Config.ext.in
100644 blob 4562b1b6eed6fc7cda2a70b542b3151feb6c3df1	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 34f86236c5df4b37b1a9e5f99acdaa3058d58c5c	linux.mk