On Mon, Nov 12, 2018 at 11:52:25AM +0100, Guido Falsi wrote: > cpu_stdext_feature: 281 ... > cpu_set_user_tls+0x2d: call set_pcb_flags_raw ... > > The patch does produce a working kernel. In fact I'm running that kernel > now. Do you have a bios option called like 'limit max cpuid value' set ? If yes, try to disable it and see how it works out.Received on Mon Nov 12 2018 - 13:34:05 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:19 UTC