From b09a4018cd8c8734240557fe09387da23fc61549 Mon Sep 17 00:00:00 2001
From: "Pavel I. Kryukov" <kryukov@frtk.ru>
Date: Wed, 18 Mar 2020 19:01:25 +0300
Subject: [PATCH] Enable MARS kernel for MARS64 ISA

---
 simulator/kernel/mars/mars_kernel.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/simulator/kernel/mars/mars_kernel.cpp b/simulator/kernel/mars/mars_kernel.cpp
index b2585f3d4..174e1490e 100644
--- a/simulator/kernel/mars/mars_kernel.cpp
+++ b/simulator/kernel/mars/mars_kernel.cpp
@@ -252,7 +252,7 @@ void MARSKernel::connect_exception_handler()
     auto isa = sim->get_isa();
     if ( isa == "riscv32" || isa == "riscv64")
         connect_riscv_handler();
-    else if ( isa == "mars" || isa == "mips32le" || isa == "mips32") 
+    else if ( isa == "mars" || isa == "mars64" || isa == "mips32le" || isa == "mips32") 
         connect_mars_handler();
     else 
         throw UnsupportedISA( isa);