> it's not clear how OS schedulers could nicely switch on-the-fly between cores with different instruction set capabilities You would need a way for processes

> it's not clear how OS schedulers could nicely switch on-the-fly between cores with different instruction set capabilities You would need a way for processes to signal the kernel that they have left a function that uses a higher instruction set and are thus available for moving to another core, plus a way for the kernel to signal processes to update their function pointers as appropriate for the new core they got moved to. https://wiki.debian.org/InstructionSelection https://wiki.debian.org/InstructionSelection