Open Platform Builder and select Open Workspace from the File menu.

Locate and select nk.bin as the Workspace (C:\WINCE500\PBWorkspaces\ARMZ\RelDir\eboot). See Figure 14.

Figure 14. nk.bin workspace

Select Connectivity Options from the Target menu.

Ensure that the Download and Transport options are set as None, and that the Debugger is set as eXDI2RVI.

Select Attach Device from the Target menu to connect to the target.

In the eXDI Console dialog, select the required core. For example, ARM926EJ-S.

Enter the appropriate Load Address where you want to download nk.nb0. Enter the appropriate Entry Point address from where you want to debug eboot.

Select the Download checkbox and the D/L and STOP radio box.

Click the Connect button to connect to the target, and to start the image download process.

When download is complete, eXDI driver starts the debugger, and execution stops at the Entry Point address.

To view the source files and to insert breakpoints in these, select Open from the File menu, then browse for the appropriate eboot directory. For example, C:\WINECE500\Platform\<BoardBSP_directory>\eboot