diff --git a/repos/base/mk/spec/riscv.mk b/repos/base/mk/spec/riscv.mk
index d60c630d9c..0da71ca32e 100644
--- a/repos/base/mk/spec/riscv.mk
+++ b/repos/base/mk/spec/riscv.mk
@@ -1,5 +1,8 @@
 SPECS       += 64bit
 REP_INC_DIR += include/spec/riscv
 
+# force soft-float for binutiles
+AS_OPT += -march rv64imac -mabi=lp64
+
 include $(BASE_DIR)/mk/spec/64bit.mk
 
diff --git a/repos/os/src/lib/trace/policy/policy.ld b/repos/os/src/lib/trace/policy/policy.ld
index db66c4b332..4a5e7bbdbb 100644
--- a/repos/os/src/lib/trace/policy/policy.ld
+++ b/repos/os/src/lib/trace/policy/policy.ld
@@ -8,6 +8,7 @@ SECTIONS {
 		*(.text .text.*)
 		*(.bss)
 		*(.got.plt)
+		*(.got)
 	} : rw
 
 	/DISCARD/ : { *(.*) }