From 21bf370071ba6871bc0df2b3d297bd3f541a1484 Mon Sep 17 00:00:00 2001
From: "Wesley W. Terpstra" <wesley@sifive.com>
Date: Tue, 28 Mar 2017 12:14:26 -0700
Subject: [PATCH] riscv-pk: run on systems without an FPU

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e6fdd24..60228ce 100644
--- a/Makefile
+++ b/Makefile
@@ -89,7 +89,7 @@ $(bbl): $(pk_srcdir) $(vmlinux_stripped)
 	cd $(pk_wrkdir) && $</configure \
 		--host=$(target) \
 		--with-payload=$(vmlinux_stripped)
-	$(MAKE) -C $(pk_wrkdir)
+	CFLAGS="-mabi=lp64 -march=rv64imac" $(MAKE) -C $(pk_wrkdir)
 
 $(bin): $(bbl)
 	$(target)-objcopy -S -O binary --change-addresses -0x80000000 $< $@