> the 1st step could be to transform Quark into something with an SMP-capable API.

I believe that Quark provides that already.

http://en.wikipedia.org/wiki/Quark_%28kernel%29#Design_goals

> Quark won't be ready to support full apps including GUI, network etc from the start

Will it ever? I mean it's just a kernel.