Re: Kernel development virtualization options