1 The file 'kernel' gets copied to the generic_x86 image. Replace it with 2 the kernel from which you wish to boot. The same kernel is used for the 3 installer_dvi image as well as for the boot kernel. 4 5 The file 'kernel_config_VirtualBox' is a .config file for the Android 6 2.6.32 kernel tree that can boot and run fairly well using VirtualBox. 7 8