Hi Michael,

Thanks for the benchmark.

I'd be interested if you could do a test of KPTI+IBRS/IBPB vs KPTI+retpoline. Also I don't...