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
--------------------------------- Do you Yahoo!? Faith Hill - Exclusive Performances, Videos, & more faith.yahoo.com
l4-hackers@os.inf.tu-dresden.de