From 71637ed07d4df310b6e9a10419d2ce0375d1de30 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
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/riscv_sys.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail
index 506f0079..2beedded 100644
--- a/riscv/riscv_sys.sail
+++ b/riscv/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.2.3