From 4ffeebe0fd904964ebee6e7d1e063b80571fc4ec Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 5 Aug 2016 20:45:14 +0100
Subject: [PATCH] Add CONFIG_CMDLINE to kernel.

Required when using Spike.  See:
https://stackoverflow.com/questions/32846037/how-to-specify-kernel-parameters-in-spike-riscv
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0d32353..96da1ca 100644
--- a/Makefile
+++ b/Makefile
@@ -252,7 +252,10 @@ stage3-kernel/linux-$(KERNEL_VERSION)/vmlinux:
 	git checkout -f linux-4.1.y-riscv && \
 	make mrproper && \
 	make ARCH=riscv defconfig && \
-	make ARCH=riscv CONFIG_CROSS_COMPILE=riscv64-unknown-elf- vmlinux
+	make ARCH=riscv \
+	    CONFIG_CROSS_COMPILE=riscv64-unknown-elf- \
+	    CONFIG_CMDLINE="root=/dev/htifblk0 init=/bin/bash" \
+	    vmlinux
 	ls -l $@
 
 # Build an original (x86-64) chroot using supermin.  We then aim to
-- 
1.8.3.1