Other schedulers

[phmarek]

I looked a bit at central-scheduler and similar stuff.

The first question is, how about having the scheduler setup in the MAKE-KERNEL call? That would allow to run different things in a process with different scheduling algorithms.

The second question is, did you try (and benchmark?) using a (non-locking) stack as scheduler? Using LIFO I would hope to get the best out of the CPU caches.

Thanks for your patience and help!