Linux 4.4.113 has CONFIG_RETPOLINE which can be enabled as well as KPTI.
Retpoline will only work with gcc 7.3, which was added already I saw.
So,17.01.5 can all have this enabled once the kernel will be pulled to 4.4.113.
Any plans for this?
Thanks,
Reinoud.