verification(preemptive_spin): change to multi-scheduler model#645

ytakano merged 6 commits intomaintier4/awkernel:mainfrom

verify_inter_scheduler_priority_inversiontier4/awkernel:verify_inter_scheduler_priority_inversionCopy head branch name to clipboard