diff -r 56b6ee983610 -r 63fd51b1ff80 commands/group/bld.inf
--- a/commands/group/bld.inf	Sat Nov 06 16:46:13 2010 +0000
+++ b/commands/group/bld.inf	Sat Nov 06 20:15:03 2010 +0000
@@ -424,15 +424,20 @@
 
 #ifdef FSHELL_MEMORY_ACCESS_SUPPORT
 PRJ_EXPORTS
-..\kerninfo\kerninfo.cif		z:\resource\cif\fshell\kerninfo.cif
 ..\setpriority\setpriority.cif		z:\resource\cif\fshell\setpriority.cif
 ..\setcritical\setcritical.cif		z:\resource\cif\fshell\setcritical.cif
 PRJ_MMPFILES
-..\kerninfo\kerninfo.mmp
 ..\setpriority\setpriority.mmp
 ..\setcritical\setcritical.mmp
 #endif // FSHELL_MEMORY_ACCESS_SUPPORT
 
+#ifdef FSHELL_QR3_SUPPORT_KERNINFO
+PRJ_EXPORTS
+..\kerninfo\kerninfo.cif		z:\resource\cif\fshell\kerninfo.cif
+PRJ_MMPFILES
+..\kerninfo\kerninfo.mmp
+#endif // FSHELL_QR3_SUPPORT_KERNINFO
+
 #ifdef FSHELL_CORE_SUPPORT_TOP
 PRJ_EXPORTS
 ..\top\top.cif				z:\resource\cif\fshell\top.cif