Lost of things happened lately.
We are almost ready for alpha release of tuned microkernel.
I did some work on MkLinux and now there is a working server based on Linux kernel 2.0.
I even posted kind of press release to OSNews.
As soon as benchmarks are ready alpha is going live.