Thank you for your reply mccp.
My board came with dBUG (it's a EVB, not a DEMO). However, it's still there :smileyhappy:. My serial cable must have been disconnected or something. But I would still like to know where I can get a copy of the dBUG monitor, either source or srec format.