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. _______________________________________________ freebsd-current@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"