Hi,
    I was wondering what the time frame for the Pistachio micro-kernel looks like cuz i'm really interested in working on a multiserver project (ex. sawmill) under the v. 4 spec. the performance gains should be outstanding and good enough to compete against most monolithic kernels (not that the hazelnut kernel doesn't give them a run for their money). If any help is needed in the development pls post cvs and a todo list.

thx,

Thomas