Re: Developing environments used for kernel development