diff options
| author | Colin Watson <cjwatson@debian.org> | 2017-01-03 14:01:56 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2017-01-16 15:02:55 +0000 |
| commit | 8c1a0893f0e55a793071af9734d2fa2eb1f3a2a6 (patch) | |
| tree | 1e071ee64db752562cd2f43e3c94eb793e9d55ab /kexc25519c.c | |
| parent | 6ca09916439a58f0789deb79960ee5defc05a946 (diff) | |
Work around clock_gettime kernel bug on Linux x32
On Linux x32, the clock_gettime VDSO currently falls back to the x86-64
syscall, so allow that as well as its x32 sibling.
Bug-Debian: https://bugs.debian.org/849923
Forwarded: no
Last-Update: 2017-01-03
Patch-Name: sandbox-x32-workaround.patch
Diffstat (limited to 'kexc25519c.c')
0 files changed, 0 insertions, 0 deletions