From f29ea12a7714290ee993347b55aca5c9b14cd217 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Tue, 12 Nov 2019 18:35:52 -0800
Subject: SRET requires S-mode

---
 riscv/insns/sret.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/riscv/insns/sret.h b/riscv/insns/sret.h
index ae841de..be837a3 100644
--- a/riscv/insns/sret.h
+++ b/riscv/insns/sret.h
@@ -1,3 +1,4 @@
+require_extension('S');
 require_privilege(get_field(STATE.mstatus, MSTATUS_TSR) ? PRV_M : PRV_S);
 set_pc_and_serialize(p->get_state()->sepc);
 reg_t s = STATE.mstatus;
-- 
cgit v1.1