davdixu is very interested in maintaining, optimizing and improving our
schedulers. Developing a true SMP friendly scheduler does require
hardware though, so add a request on behalf of davidxu for (at least) a
machine with 4 physical CPUs.
Discussed with: davidxu