> having to deal with ISA incompatibility across active cores is not reasonable at all If the OS would give me the tools to deal with it, I would find it compl

> having to deal with ISA incompatibility across active cores is not reasonable at all If the OS would give me the tools to deal with it, I would find it completely reasonable to write (eg) both avx2 and avx512 kernels to be run concurrently on the same machine.