diff options
| -rw-r--r-- | target-ppc/helper.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/target-ppc/helper.c b/target-ppc/helper.c index a953e1fa76..0b5cd3ed4b 100644 --- a/target-ppc/helper.c +++ b/target-ppc/helper.c @@ -1939,7 +1939,8 @@ void ppc_tlb_invalidate_all (CPUPPCState *env) break; case POWERPC_MMU_BOOKE_FSL: /* XXX: TODO */ - cpu_abort(env, "BookE MMU model is not implemented\n"); + if (!kvm_enabled()) + cpu_abort(env, "BookE MMU model is not implemented\n"); break; case POWERPC_MMU_32B: case POWERPC_MMU_601: |