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)