Kernel development virtualization options