Make irq manager only required when preemption is active.
[bertos.git] / examples / demo / cfg /
drwxr-xr-x   ..
-rw-r--r-- 2556 cfg_kern.h