Workbench allows you to maintain configuration options and preferences from debug session to session via the "debug configuration" mechanism. To debugging under Workbench you must create such a configuration.
First, select "Debug" from the "Run menu." This will bring up the debug configuration manager. In this case we are debugging a kernel task, so double click on "Kernel Task". This will bring up a tabbed dialog allowing you to configure your session:
In the screen shot above, a simple debug session has been configured.
First note that for "Connection to use" the previously configured and connected PowerPC board "tgt_indus" has been selected. Next, note that for "Entry Point" sdc has been selected. It is always necessary to specify the as an entry point the name of the procedure you expect to be called at program startup.
It may be necessary to increase the amount of stack specified for your application. You can do that here in the provided text box.
You may also wish to confirm the correct object files are selected for download to the target system by inspecting the contents of the "Downloads" tab. This tab provides an interface for managing the list of object files to be loaded onto the target.
You might also find it useful to select the "Break on Entry" option for the "Debug Options" tab.