VDSO, 32-bit time, and seccomp | Heykuki News