I thought I'd better document the functionality of various switches on the Nexys board, for easy reference:

This switch decides whether Hypervisor debug output will be shown (via the remote serial monitor output) or not.

As for the debug interface, all you need is to put something like:

  jsr checkpoint
  .byte 0,"drce_ignore_lfn_piece",0

wherever you want a checkpoint. You can find the checkpoint routine in kickstart.a65. Switch 12 controls whether the debug messages are output.

Note that the hypervisor checkpoint/debug facility is only in the newer branches (my hypervisor debug one has it). You can also make your code mutate the message string, so that it can include dynamic content.

Note that you cannot start the machine with sw12 on. You can only turn it on after it is looking for the SD card, due to some complications that I have yet to sort out (basically the watchdog has to be setup correctly, and there might be some other race conditions to satisfy). Therefore I would suggest:

0. Make sure you are connected to serial debug interface via USB 1. Remove SD card. 2. Boot with SW12 off. 3. Turn SW12 on when Kickstart message appears 4. Reinsert SD card 5. Watch the fire-hose of checkpoint/debug messages.

Paul.