Suggested environments for kernel development