From 1a52fa44aba49307137ea2ad5263613da33a877b Mon Sep 17 00:00:00 2001
From: hirooih <24754036+hirooih@users.noreply.github.com>
Date: Mon, 9 Sep 2024 10:34:54 +0900
Subject: [PATCH] README.md: add _zicsr_zifencei on configure option for rv32i
 (#334)

Signed-off-by: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>
---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index e15be13..3a7038a 100644
--- a/README.md
+++ b/README.md
@@ -32,9 +32,9 @@ 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 `--with-arch=rv32i` flag to the
+built 32-bit (RV32) versions, supply a `--with-arch=rv32i_zicsr_zifencei` flag to the
 configure command.
-To process RVC binaries, supply a `--with-arch=rv32ic` flag, because the
+To process RVC binaries, supply a `--with-arch=rv32ic_zicsr_zifencei` flag, because the
 emulation code (floating point and miss-aligned load and store) is different in
 the RVC case.