| @@ -150,7 +150,7 if [ "$BUILD_KERNEL" = true ] ; then | |||
|
|
150 | 150 | fi |
|
|
151 | 151 | |
|
|
152 | 152 | # enable basic KVM support; see https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=210546&start=25#p1300453 |
|
|
153 | if [ "$KERNEL_VIRT" = true ] && { [ "$RPI_MODEL" = 2 ] || [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ] ; } ; then | |
|
|
153 | if [ "$KERNEL_VIRT" = true ] && { [ "$RPI_MODEL" = 2 ] || [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ] || [ "$RPI_MODEL" = 4 ]; } ; then | |
|
|
154 | 154 | set_kernel_config CONFIG_HAVE_KVM_IRQCHIP y |
|
|
155 | 155 | set_kernel_config CONFIG_HAVE_KVM_ARCH_TLB_FLUSH_ALL y |
|
|
156 | 156 | set_kernel_config CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT y |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
