Carlos, Petr, On Wed, Nov 25 2020 at 15:37, Carlos O'Donell wrote: > On 11/19/20 7:14 PM, Thomas Gleixner wrote: >> So from my point of view asking for distorted time still _is_ a request >> for ponies. > > I'm happy if you say it's more work than the value it provides.
Thinking more about it. Would a facility which provides: CLOCK_FAKE_MONOTONIC|BOOTTIME|REALTIME where you can go wild on setting time to whatever you want solve your problem? Thanks, tglx