Hello, Have you read the L4-Hurd threads? What's going on there are some discussions about some really advanced OS design concepts... it's like a free computer science class. Just have a peak.