Ok... here's the step-by-step for changing your syslib properties:
1. Right-click on your project, in the IDE, and select "System Library Properties"
or right-click on your System Library project and select "Properties".
2. Change "Timestamp timer:" from "None" to whatever your new timer's name.
- Take a look at any full_featured design's "high_res_timer" to see how to properly configure an interval timer in SOPC Builder.
3. Click OK to apply the changes.
4. Rebuild your project, and you should see the correct timestamp# def's. in your system.h file.
Hopefully, that will get you where you want to go.
BTW, both the Dhrystone software example and the software for the custom instruction tutorial make use of timestamp timers. Perhaps, you could refer to these example, in their entirety, prior to moving forward with your development?
Cheers,
- slacker