Developing environments used for kernel development