Re: customization of Darwin kernel