100644 blob a68cbe92141ec50d9753179a94d62c93a71acab1	Config.ext.in
100644 blob f48e6609e796ea525a1920ab4a940284661e58e0	Config.in
100644 blob 1a601d58cfc96fa3c59a52b229d5123f72780c60	linux-ext-ocf-linux.mk
100644 blob 78488afd94eff092a799e6f7697e23d73ac50ea9	linux-ext-rtai.mk
100644 blob 9b6772e23874cc46d18f29ec595c510393130435	linux-ext-xenomai.mk
100644 blob 91a9f500bb43ea8724e1504d02c216dfa71a228e	linux.mk