From e242697e16c686e122a9f807c8a3fdcd745cba8b Mon Sep 17 00:00:00 2001
From: "Wesley W. Terpstra" <wesley@sifive.com>
Date: Thu, 6 Apr 2017 10:50:35 -0700
Subject: [PATCH] build: disable core 0 (E51) when booting linux

---
 Makefile | 2 +-
 riscv-pk | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 4b76af7..a4fac91 100644
--- a/Makefile
+++ b/Makefile
@@ -83,7 +83,7 @@ $(bbl): $(pk_srcdir) $(vmlinux_stripped)
 	cd $(pk_wrkdir) && $</configure \
 		--host=$(target) \
 		--with-payload=$(vmlinux_stripped)
-	CFLAGS="-mabi=lp64 -march=rv64imac" $(MAKE) -C $(pk_wrkdir)
+	CFLAGS="-mabi=lp64 -march=rv64imac -DDISABLED_HART_MASK=1" $(MAKE) -C $(pk_wrkdir)
 
 $(bin): $(bbl)
 	$(target)-objcopy -S -O binary --change-addresses -0x80000000 $< $@
diff --git a/riscv-pk b/riscv-pk
index a2c8937..8197cad 160000
--- a/riscv-pk
+++ b/riscv-pk
@@ -1 +1 @@
-Subproject commit a2c8937e631f7531c3d59e4f179369f51eb44d19
+Subproject commit 8197cad40c5af8e4e315429be9f20aefbcc803ee