Hey Mathias, I couldn't repro with a new kernel either. Only these old ones. Here are some object files for the logs in the earlier message: https://data.zx2c4.com/curve25519-miscompile-a87440f8-7d1e-4179-be83-c82b4636a448.tar.zst Jason