I don’t think that the separate ready-sets for the “vanilla” kernel (QF_readySet_) and for the preemptive QK kernel (QK_readySet_) cause any problems. After all, you use one or the other, but never both. And you should not access the ready-set in your application, anyway (hence the trailing underscore ‘_’ in the names).