diff -r d75ef6b46e33 -r 801dc7eabf51 rt/rt_lib
--- a/rt/rt_lib	Fri Dec 02 15:35:21 2005 +0000
+++ b/rt/rt_lib	Fri Dec 16 08:15:21 2005 +0000
@@ -1,1 +1,1 @@
-../../../linux/kernel_space/rt_lib-3.0.1-push
\ No newline at end of file
+../../../linux/kernel_space/rt_lib-4.0.0-2.6krnl
\ No newline at end of file