From 8f1f8b36533e513c86412eecb8737ab0de1467a7 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur <prashanth.mundkur@gmail.com>
Date: Sun, 24 Jun 2018 18:57:29 -0700
Subject: Make sstatus.UXL legalization match spike for now. Leave a fixme to
 make this a platform setting.

---
 riscv_sys.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscv_sys.sail')

diff --git a/riscv_sys.sail b/riscv_sys.sail
index 506f007..2beedde 100644
--- a/riscv_sys.sail
+++ b/riscv_sys.sail
@@ -329,7 +329,7 @@ function lower_mstatus(m : Mstatus) -> Sstatus = {
 
 function lift_sstatus(m : Mstatus, s : Sstatus) -> Mstatus = {
   let m = update_SD(m, s.SD());
-  let m = update_UXL(m, s.UXL());
+  // let m = update_UXL(m, s.UXL());  FIXME: This should be parameterized by a platform setting.  For now, match spike.
   let m = update_MXR(m, s.MXR());
   let m = update_SUM(m, s.SUM());
   let m = update_XS(m, s.XS());
-- 
cgit v1.1