Kernel development environment