Environment: pxa271/WinCE.net 4.20 (EVA)/BSP_PPC_2003_NBMMNS2BVS_V3_00_033

Question:
When we debug on hw after nk.bin downloaded, an error comes out as the
following log. We could not figure out what is wrong. Your help would be
graceful appreciated.

========================
0 PID:0 TID:0 XSCDBG:Trace initialized: CFG:97671c44 Buffer: 976705e8, 14f0
0 PID:0 TID:0 Booting Windows CE version 4.20 for (ARM)
0 PID:0 TID:0 &pTOC = 96cc1cfc, pTOC = 971fd0e4, pTOC->ulRamFree = 9768c000,
MemForPT = 00000000
0 PID:0 TID:0
Old or invalid version stamp in kernel structures - starting clean!
0 PID:0 TID:0 Configuring: Primary pages: 3954, Secondary pages: 0,
Filesystem pages = 1977
0 PID:0 TID:0
Booting kernel with clean memory configuration:
0 PID:0 TID:0 Memory Sections:
0 PID:0 TID:0 [0] : start: 9768d000, extension: 00001000, length: 00f72000
0 PID:0 TID:0 Sp=ffffc7cc
2 PID:0 TID:0 Windows CE KernelInit
4294767296 PID:185ff002 TID:185ff262 Updated eptr->e32_vsize to = 000b6000
4294767297 PID:185ff002 TID:185ff262 Scheduling the first thread.
4294767299 PID:185ff002 TID:185ff262 0x985ff024: KernelInit2:
pCurThread=985ff024 hCurThread=185ff262 hCurProc=185ff002, KernelInit =
96cdc70c
4294767300 PID:185ff002 TID:185ff262 0x985ff024: Detecting VFP...
4294767301 PID:185ff002 TID:185ff262 0x985ff024: VFP Not Found!
4294767302 PID:185ff002 TID:185ff262 0x985ff024: Updated eptr->e32_vsize to
= 00016000
4294767304 PID:185ff002 TID:185ff262 0x985ff024: >>> Loading module NK.EXE
at address 0x96CB8000-0x96D6E000 (RW data at 0x97656000-0x976848E3)
Kernel debugger connected (KDBG stream opened).
Kernel Version 1169 loaded at 0x96cb8000, data relocated at 0x97656000
Debugger connection established (Target CPU is ARM).
Loaded symbols for
'E:WINCE420PUBLICDEBUG_STEPBYSTEPRELDIRBVDMAIN-271DEBUGNK.EXE'
Loaded symbols for
'E:WINCE420PUBLICDEBUG_STEPBYSTEPRELDIRBVDMAIN-271DEBUGKD.DLL'
Finished re-loading kernel modules.
Loaded symbols for
'E:WINCE420PUBLICDEBUG_STEPBYSTEPRELDIRBVDMAIN-271DEBUGCOREDLL.DLL'
Loaded symbols for
'E:WINCE420PUBLICDEBUG_STEPBYSTEPRELDIRBVDMAIN-271DEBUGFILESYS.EXE'
Loaded symbols for
'E:WINCE420PUBLICDEBUG_STEPBYSTEPRELDIRBVDMAIN-271DEBUGFSDMGR.DLL'
4294767308 PID:185ff002 TID:185ff262 0x985ff024: first = 01f80000, last =
02000000, SharedDllBase = 03750000
4294767342 PID:185ff002 TID:185ff262 0x985ff024: >>> Loading module
coredll.dll at address 0x03F30000-0x03FF9000 (RW data at
0x01FFF000-0x01FFFAB0)
4294767458 PID:985e623e TID:985ebfca 0x985e6000: >>> Loading module
filesys.exe at address 0x04010000-0x04088000
4294767466 PID:985e623e TID:985ebfca 0x985e6000: FileSystem Starting -
starting with clean file system
4294768205 PID:985e623e TID:985ebfca 0x985e6000: >>> Loading module
fsdmgr.dll at address 0x03DE0000-0x03DFC000 (RW data at
0x01FF1000-0x01FF1754)
4294768210 PID:985e623e TID:985ebfca 0x985e6000: InitSharedHeap: 44000000
10000 c
4294768211 PID:985e623e TID:985ebfca 0x985e6000: InitSharedHeap: return
44000050
4294768212 PID:985e623e TID:985ebfca 0x985e6000: NK Kernel: DEBUGCHK failed
in file d:mckendricprivatewinceoscoreosnkkernelkmisc.c at line 3762
4294768218 PID:985e623e TID:985ebfca 0x985e6000: NK Kernel: DEBUGCHK failed
in file d:mckendricprivatewinceoscoreosnkkernelkmisc.c at line 3769
4294768221 PID:985e623e TID:985ebfca 0x985e6000: NK Kernel: DEBUGCHK failed
in file d:mckendricprivatewinceoscoreosnkkernelkmisc.c at line 3771
4294768224 PID:985e623e TID:985ebfca 0x985e6000: Data Abort: Thread=985e6000
Proc=9767ad78 'filesys.exe'
4294768224 PID:985e623e TID:985ebfca 0x985e6000: AKY=00000003 PC=03f81384
RA=03f812fc BVA=04000000 FSR=00000007
4294768228 PID:985e623e TID:985ebfca 0x985e6000: Filesys faulted trying to
initialize registry dirty, trying clean...