jrtc27

diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c
index c4a13f4..a2d1bce 100644
--- a/c_emulator/riscv_sim.c
+++ b/c_emulator/riscv_sim.c
@@ -330,6 +330,7 @@ char *process_args(int argc, char **argv)
     case 'x':
       fprintf(stderr, "enabling Zfinx support.\n");
       rv_enable_zfinx = true;
+      rv_enable_fdext = false;
       break;

jrtc27

set $PPN_MASK = 0xfffffffffff

set $SATP_PPN_M = $PPN_MASK

set $GIGAPAGE_MASK = 0x3fffffff
set $MEGAPAGE_MASK = 0x1fffff
set $PAGE_MASK = 0xfff
set $PAGE_SHIFT = 12
set $VPN_MASK = 0x1ff
set $VPN_2 = 30

jrtc27

Keybase proof

I hereby claim:

• I am jrtc27 on github.
• I am jrtc27 (https://keybase.io/jrtc27) on keybase.
• I have a public key ASCyuNtWYlfh2ChPddoffuqsuYJk5UbAqnC9q225oWcvggo

To claim this, I am signing this object:

jrtc27

Index: ladr-0.0.200911a/apps.src/Makefile
===================================================================
--- ladr-0.0.200911a.orig/apps.src/Makefile	2009-04-17 23:46:39.000000000 +0900
+++ ladr-0.0.200911a/apps.src/Makefile	2012-12-13 02:06:17.010635223 +0900
@@ -16,16 +16,16 @@
 all: ladr apps install realclean
 
 ladr:
-	cd ../ladr && $(MAKE) libladr.a
+	cd ../ladr && $(MAKE) libladr.la