Add CONFIG_CMDLINE to kernel.

Required when using Spike.  See:
https://stackoverflow.com/questions/32846037/how-to-specify-kernel-parameters-in-spike-riscv

diff --git a/Makefile b/Makefile
index 0d32353..96da1ca 100644 (file)
--- 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