sources for TCL 5.1 :

 	
	Standard Linux kernel sources:	
		linux-3.8.13.tar.bz2

	std Tiny core config file:
		config-3.8.13-tinycore
		
	patches Tiny core: 
		all patches here
		
	RTAI 4.0 sources:
		rtai-4.0.tar.bz2
    (patch is : hal-linux-3.8.13-x86-4.patch    find it in
	        RTAI/rtai-4.0/base/arch/x86/patches/ dir. after unpacking)