Analysis of Darwin kernel design