https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=222234
--- Comment #7 from Mark Millard <[email protected]> --- One of the two patches had a variant checked-in at -r324207: the one to allow non-debug kernel's to boot. (-r324207 did not use the just-"ish" dsb variant and I've not tested the change. But I expect that it was a fix.) This still leaves the identcpu.c's sev instruction not having a dsb form of memory barrier before it (which is what ARM documents as always recommended before sev). -- You are receiving this mail because: You are the assignee for the bug. _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-bugs To unsubscribe, send any mail to "[email protected]"
