From 0ef8e072b034180392f558a165be7d89b6460ba9 Mon Sep 17 00:00:00 2001
From: John Winans <john@winans.org>
Date: Sun, 6 May 2018 07:33:17 -0500
Subject: [PATCH] Build rv32i (not rv32im).

---
 book/toolchain/chapter.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/toolchain/chapter.tex b/book/toolchain/chapter.tex
index e2945ec..01bb52f 100644
--- a/book/toolchain/chapter.tex
+++ b/book/toolchain/chapter.tex
@@ -46,7 +46,7 @@ To download, compile and ``install'' the toolchain:
 
 git clone --recursive https://github.com/riscv/riscv-gnu-toolchain
 cd riscv-gnu-toolchain
-./configure --prefix=/usr/local/riscv --with-arch=rv32im --with-abi=ilp32
+./configure --prefix=/usr/local/riscv/rv32i --with-arch=rv32i --with-abi=ilp32
 make
 make install
 \end{verbatim}