rtai-config diff for 3.5.0-1mk-rtai-amd64 kernel

gistfile1.txt

--- rtai-config~        2014-05-12 03:50:41.000000000 -0500
+++ rtai-config 2014-05-12 16:03:19.099926978 -0500
@@ -15,11 +15,11 @@
 RTAI_TARGET_ARCH="x86"
 RTAI_TARGET_SUBARCH="64"
 RTAI_CONFIG="${staging}${pkgdatadir}/config-rtai-${RTAI_VERSION}"
-RTAI_LINUX_DIR="/tmp/buildd/rtai-4.0.0/debian/linux"
-RTAI_LINUX_VERSION="2.6.23"
+RTAI_LINUX_DIR="/usr/src/linux-headers-3.5.0-1mk-rtai-amd64"
+RTAI_LINUX_VERSION="3.5.0-1mk-rtai-amd64"
 RTAI_KERNEL_CFLAGS="-I. -I${staging}${includedir}  -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -ffast-math -mhard-float -Wno-undef"
 RTAI_KERNEL_CXXFLAGS="-I. -I${staging}${includedir}  -fno-rtti -fno-exceptions -fno-strength-reduce -pipe -fno-use-cxa-atexit -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -ffast-math -mhard-float -Wno-undef"
-RTAI_MODULE_DIR="${staging}${exec_prefix}/modules"
+RTAI_MODULE_DIR="/lib/modules/3.5.0-1mk-rtai-amd64/rtai"
 RTAI_LXRT_CFLAGS="-I. -I${staging}${includedir} -D_GNU_SOURCE -Wall -Wstrict-prototypes -pipe"
 RTAI_LXRT_LDFLAGS="-L${staging}${libdir} -llxrt -lpthread"
 RTAI_LIBRARY_DIR="${staging}${libdir}"