1 files changed, 9 insertions, 1 deletions
diff --git a/README.md b/README.md
index c19c4a0..754c296 100644
--- a/README.md
+++ b/README.md
@@ -22,9 +22,17 @@ install path, and that the riscv-gnu-toolchain package is installed.
 
     $ mkdir build
     $ cd build
-    $ ../configure --prefix=$RISCV/riscv64-unknown-elf --host=riscv64-unknown-elf
+    $ ../configure --prefix=$RISCV --host=riscv64-unknown-elf
     $ make
     $ make install
 
 Alternatively, the GNU/Linux toolchain may be used to build this package,
 by setting `--host=riscv64-unknown-linux-gnu`.
+
+By default, 64-bit (RV64) versions of `pk` and `bbl` are built.  To
+built 32-bit (RV32) versions, supply a `--enable-32bit` flag to the
+configure command.
+
+The `install` step installs 64-bit build products into
+`$RISCV/riscv64-unknown-elf`, and 32-bit versions into
+`$RISCV/riscv32-unknown-elf`.