CONFIG_NUM_PREEMPT_PRIORITIES=8
CONFIG_NUM_COOP_PRIORITIES=8

# Switch these between DUMB/SCALABLE (and SCHED_MULTIQ) to measure
# different backends
CONFIG_SCHED_DUMB=y
CONFIG_WAITQ_DUMB=y