diff -r 56b6ee983610 -r 63fd51b1ff80 commands/group/fshell_commands.iby --- a/commands/group/fshell_commands.iby Sat Nov 06 16:46:13 2010 +0000 +++ b/commands/group/fshell_commands.iby Sat Nov 06 20:15:03 2010 +0000 @@ -356,14 +356,17 @@ FSHELL_COMMAND_INFO_FILE(fshell,fed.cif) #ifdef FSHELL_MEMORY_ACCESS_SUPPORT -FSHELL_EXECUTABLE_FILE(kerninfo.exe) -FSHELL_COMMAND_INFO_FILE(fshell,kerninfo.cif) FSHELL_EXECUTABLE_FILE(setpriority.exe) FSHELL_COMMAND_INFO_FILE(fshell,setpriority.cif) FSHELL_EXECUTABLE_FILE(setcritical.exe) FSHELL_COMMAND_INFO_FILE(fshell,setcritical.cif) #endif +#ifdef FSHELL_QR3_SUPPORT_KERNINFO +FSHELL_EXECUTABLE_FILE(kerninfo.exe) +FSHELL_COMMAND_INFO_FILE(fshell,kerninfo.cif) +#endif + #ifdef FSHELL_CORE_SUPPORT_TOP FSHELL_DEVICE_DRIVER(topsampler.ldd) FSHELL_EXECUTABLE_FILE(top.exe)