8½ years ago, I commited an ugly workaround (https://freshbsd.org/openbsd/src/commit/AO7NhVXsNmk15Nrm) for a bug on #OpenBSD/aviion SMP kernels I had not been able to figure out, with the comment that ``we don't have enough volunteers for human sacrifices to get this fixed in a reasonably near future''.
🇨🇵 #Auvergnat cha(t)fouin et retors.Fournisseur de cartes postales du #Cantal en couleurs depuis 1348.Prédateur naturel du #fromage.#OpenBSD villain.Rugby XV (ASM, SACA) & XIII (Dracs, TO).