Synthetic wallclock set_get mode

[Savin Zlobec]

Attached patch is essentially the same as previous, but with synth 
wallclock driver disabled by default.
Because of synthetic target timings the emulated wallclock slightly 
differs from the synth one and just
in case something depends on this the emulated wallclock should be left 
as default on synthetic target.

savin



-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: wallclock_synth-2.diff
URL: <http://sourceware.org/pipermail/ecos-patches/attachments/20031006/f8c1899c/attachment.ksh>