100644 blob a68cbe92141ec50d9753179a94d62c93a71acab1	Config.ext.in
100644 blob e0c1c7ec02a068857617d5ece8d36780bff07ab9	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 ca216a3e3d57058f7da90125c75619f42cee84bd	linux.mk