[ixp1200] Debugging code running on hardware using developers workbench