<p>Am 15.05.2014 11:17 schrieb "Michael Van Canneyt" <<a href="mailto:michael@freepascal.org">michael@freepascal.org</a>>:<br>
> get_clock() seems to be the way to go. vSDO is a very specific linux mechanism; I would recommend against it.</p>
<p>Nevertheless we could add vDSO support to the Linux unit so that users can make use of it without the need to link to libc or implement it themselves. :)</p>
<p>Regards,<br>
Sven</p>