Crash when recording clock_gettime

Benjamin King benjaminking at web.de
Tue Aug 29 07:40:00 UTC 2017


On Tue, Aug 29, 2017 at 09:30:55AM +0200, Benjamin King wrote:
>On Tue, Aug 29, 2017 at 09:51:29AM +1200, Robert O'Callahan wrote:
>>Also, what kernel version are you using?
>
>I could reproduce with 4.9.0-rc1-bki and 4.4.1-bki. The -bki's are because I
>have compiled these myself. I did this for the purpose of dabbling a bit with
>bpf and I have not made an aweful lot of config changes.
>
>I'll try the reproduce the crash with a stock kernel, though.

I can not reproduce the crash with 4.4.0-93-generic which is the stock kernel
for Ubuntu 16.04.3 LTS.

My bad.

I'll figure out the differences in configuration.

Cheers,
  Benjamin


More information about the rr-dev mailing list